rawburt

Rocket

A web framework for Rust.

Stockfish

A free and strong UCI chess engine

LuLu

LuLu is the free macOS firewall

lean4

Lean 4 programming language and theorem prover

FStar

A Proof-oriented Programming Language

verus

Verified Rust for low-level systems code

creusot

Creusot helps you prove your code is correct in an automated fashion.

SwiftGodot

New Godot bindings for Swift

cakeml

CakeML: A Verified Implementation of ML

cranelift-jit-demo

JIT compiler and runtime for a toy language, using Cranelift

grmtools

Rust grammar tool libraries and binaries

gc-arena

Incremental garbage collection from safe Rust

Barony

Barony Open Source Release

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

1ml

1ML prototype interpreter

everparse

Automated generation of provably secure, zero-copy parsers from format specifications

tiny-lisp

A small implementation of LISP, written in standard C11.

type-inference-by-example

A series of down-to-earth articles on implementing type inference

hamlet

SML reference interpreter

lelwel

Resilient LL(1) parser generator for Rust

grace

A fancy diagnostics library that allows your compilers to exit with grace

async-chat

Example code from Chapter 19, Asynchronous Programming: an asynchronous chat client and server

VimFStar

A Vim mode for FStar

xv6-env

Docker image for building/running xv6

simple-irc-server

The simple IRC server written in Rust

ocamlchess

UCI-compatible chess engine in OCaml.

GodotChess

Chess made in godot using c# and stockfish as the chess engine

coq-bitset

my-eXPL

Implementation of an experimental compiler

Kaola

UCI chess engine