A collaborative note taking, wiki and documentation platform that scales. Built with Django and React. Opensource alternative to Notion or Outline.

Coq development accompanying the paper "Efficient Extensional Binary Tries"

HTMX demo with a Go backend

🔮 Graph Layout Algorithms in Go

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

Concurrent decision diagram framework written in Rust

Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.

The only reasonable scripting engine for Go.

Biodata Sonification kit using breadboard, for Arduino Uno 'Sheild'

An icon font for academics

abz2024_casestudy_MLV

ivy, an APL-like calculator

Description of Model Checking Intermediate Language

Unison file synchronizer

Documents utilisés pour de la vulgarisation informatique, surtout du débranché

Educational game about programming

Documentation that simply works

Reductron - The Polyhedral Abstraction Prover

A repository hosting scripts to analyze the results of the MCC

Quantifier eliminator for using Petri net reductions for model checking reachability properties.

A suite of tools for Petri Nets

A parser library for Go

Go package implementing bitsets

An IMAP server library written in Go

Your CLI home video recorder 📼

µSMPT: An environnement to experiment with SMT-based model checking for Petri nets

Environment variables substitution for Go

A parallel implementation of gzip for modern multi-processor, multi-core machines.