formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019

Free news feeds reader

Common rust command-line macros and utilities, to write shell-script like tasks in a clean, natural and rusty way

Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.

Haxe - The Cross-Platform Toolkit

End-to-End Encryption

Mutation Testing for Ethereum Smart Contracts, support for Foundry

Master programming by recreating your favorite technologies from scratch.

Haskell library for doing category theory with a central role for profunctors

JavaScript runtime and compute platform build on Tezos Smart Rollups

UI Library

A tool to inspect and attack version 1 GUIDs

Exploit Development and Reverse Engineering with GDB Made Easy

Selected Papers of Dana S. Scott

Trabajo final para la cátedra de Estructuras de Datos y Algoritmos I

Código inicial para la materia Compiladores 2022 de LCC - FCEIA - UNR

Código para la materia Compiladores de LCC, FCEIA, UNR.

React component

A simple Telegram bot

Assertion library for the Ligo test framework

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

Equational Propositional Logic Toolkit