X-HEEP Matrix Extensions derived from T-Head

A core language for rule-based hardware design 🦑

A docutils backend for pybtex.

Towards AI-Assisted Synthesis of Verified Dafny Methods

Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24

Meditron is a suite of open-source medical Large Language Models (LLMs).

A personal project that is an extension from the webapp lab from Software Construction at EPFL.

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

A coq plugin to deal with commutative diagrams

TLA+ Foundation

eXtendable Heterogeneous Energy-Efficient Platform based on RISC-V

Software Engineering course materials from EPFL

Official repo for par2cmdline and libpar2

Official repo for par3cmdline and par3lib

Fixes mojibake and other glitches in Unicode text, after the fact.

Windows 10 window tiling for GNOME

AWS Encryption SDK for Dafny

Kani Rust Verifier

Coco/R for C#

High-performance regular expression matching library

enable Pygments to leverage a LSP server - more precisely LSPs SemanticToken Request feature - for syntax highlighting

Yet another plugin tutorial, this time as an exercise for 598

Brother laser printer driver

An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.

subed is a subtitle editor for Emacs

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Branchless UTF-8 decoder

Formalization of the Dependent Object Types (DOT) calculus