Beast code in Giters

Rémy_Citérin's repositories

DijkstraMonad

formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019

Language:Lean7 20

rust-gcode

A work-in-progress implementation of gcode writer for the CNC of hackens

Language:RustMIT300

SeparationLogic

Language:LeanMIT200

Spacer

reimplementation of a part of the Spacer model checker using Z3 and OCaml

Language:OCamlMIT200

ArduinoStar

Language:F*GPL-3.0100

CoIndStar

implementation of ocinductive datatypes and interaction trees in FStar

Language:F*Apache-2.0100

fstar-experiments

multiples expérimentations autours du langage F*

Language:OCaml100

LeanCat

toy implementation of category in Lean4

Language:LeanMIT100

VimFStar

A Vim mode for FStar (fork from https://github.com/FStarLang/VimFStar)

Language:Vim ScriptVim100

DOoOM

DOoOM Out-Of-Order Machine

Language:BluespecGPL-2.0000

hegg

Fast equality saturation in Haskell

Language:HaskellBSD-3-Clause000

jax-experiments

Language:Python000

jax-rl

Language:Python000

LeanCoInd

definition of coinductives types (M-types and indexed M-types) in Lean4, and some utilities for reasoning

Language:LeanGPL-2.0000

mathlib4

Work in progress mathlib port for lean 4

Apache-2.0000

MiniLustre

Language:OCaml000

nixos-config

Language:Nix000

zig-scheduler

a work in progress scheduler for zig using work stealing with Chase-Lev deque

Language:ZigMIT000

ZigSAT

A work in progress SAT solver write in Zig

Language:ZigGPL-3.0000