Beast code in Giters

Tim Carstens's repositories

x86-64 assembly as a Haskell EDSL

Language:Haskell36 3 2

Dan Kaminsky's Interpolique as a Haskell quasi-quoter

Language:Haskell300

Use RISC Zero's zkVM to protect an Ethereum smart contract

Language:RustMIT200

A Verified Compiler for Gallina, Written in Gallina

Language:CoqMIT100

Math and math accessories. A place where I blow off some steam in the Lean proof assistant.

Language:Lean1 20

Language:AssemblyMIT020

A simple Python library to bind dataclasses with databases.

MIT000

Language:TypeScript000

Lean 4 programming language and theorem prover

Language:LeanApache-2.0010

Experiments in the quiver perspective

Language:Lean040

Language:RustMIT010

A Sphinx-doc theme based on Vuepress

NOASSERTION000

The most used Rust library for date and time handling.

Apache-2.0000

A STARK-based VM focused on code reuse, performance, and modularity

Apache-2.0000

Verified Software Toolchain

Language:CoqNOASSERTION010