Lisp-like DSL for Rust language

Raster to Vector Graphics Converter

A language for decision making

Deductive verification infrastructure for probabilistic programs

Performant and safe knowledge compilation in rust

All Algorithms implemented in Rust

Entry to model counting competition 2021.

Dice Language Support for VS Code

Logic Circuits from the Juice library

Probabilistic Circuits from the Juice library

Logistic Circuits

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

An extension for VS Code which provides support for the OCaml language.

Rust plugin for the IntelliJ Platform

C Intermediate Language

The core OCaml system: compilers, runtime system, base libraries

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Personal dotfile repo for Linux/Unix systems

NumPy aware dynamic Python compiler using LLVM

The Z3 Theorem Prover

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

Zeek is a powerful network analysis framework that is much different from the typical IDS you may know.

Empowering everyone to build reliable and efficient software.

scikit-learn: machine learning in Python

Topic Modelling for Humans

The Community Maintained High Velocity Web Framework For Java and Scala.

Simple OAuth library for Java

BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly, C/C++, and Rust.

The Game