Code Monkey home page Code Monkey logo

Rémy_Citérin's Projects

coindstar icon coindstar

implementation of ocinductive datatypes and interaction trees in FStar

dijkstramonad icon dijkstramonad

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

hegg icon hegg

Fast equality saturation in Haskell

leancat icon leancat

toy implementation of category in Lean4

leancoind icon leancoind

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

mathlib4 icon mathlib4

Work in progress mathlib port for lean 4

rust-gcode icon rust-gcode

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

spacer icon spacer

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

vimfstar icon vimfstar

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

zig-scheduler icon zig-scheduler

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

zigsat icon zigsat

A work in progress SAT solver write in Zig

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.