The Incredible Proof Machine

Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental version

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Library for symbolic automata and symbolic visibly pushdown automata

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, and other large language models.

The implementation of an SMTLib dialect for xDSL

Yosys Open SYnthesis Suite

VSCode extension for GPT-3.

🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers

[NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution

Proving leftpad correct two-dozen different ways

Incremental downloader for dejacode.

Choreographies in Clojure

Rough examples of using Chorex—very experimental!

a recurrent network trained to draw dicks

If T: Benchmark for Type Narrowing

SRP (Secure Remote Password) 6/6a library for Elixir

Wrapper around the Erlang crypto module for Elixir.