leonardolima

react-draggable

React draggable component

Detours

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

patat

Terminal-based presentations using Pandoc

futhark

:boom::computer::boom: A data-parallel functional programming language

book

A textbook on informal homotopy type theory

octosuite

GitHub Data Analysis Framework.

org-journal

A simple org-mode based journaling mode

no-style-please

A (nearly) no-CSS, fast, minimalist Jekyll theme.

convos

Convos :busts_in_silhouette: is the simplest way to use IRC in your browser

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Hercules

Hercules is a collaborative software development project revolving around the creation of a robust massively multiplayer online role playing game (MMORPG) server package. Written in C, the program is very versatile and provides NPCs, warps and modifications. The project is jointly managed by a group of volunteers located around the world as well as a tremendous community providing QA and support. Hercules is a continuation of the original Athena project.

automated-irrigation-system

This is the software of an open source automated irrigation system. The complete setup including hardware can be found in the README.

practical-fm

A gently curated list of companies using verification formal methods in industry

risotto

A minimalist, responsive hugo theme inspired by terminal ricing aesthetics.

agda-unimath

The agda-unimath library

ppx_expect

Cram like framework for OCaml

landmarks

A Simple Profiling Library for OCaml

meio

Monitor Eio programs

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

mui-nested-menu

The package lets you nested menu items infinitely deep.

memtrace

Streaming client for OCaml's Memprof

runtime_events_tools

proof-demos

Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic

multicoretests

PBT testsuite and libraries for testing multicore OCaml

tracing

Tracing library

dejavu

The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

memtrace_viewer_with_deps

Interactive memory profiler based on Memtrace

sellf

SubExponential Linear Logic Framework for reasoning about sequent calculus systems

hydra