Pinned Repositories
creusot
Creusot helps you prove your code is correct in an automated fashion.
besm
Resurrecting PP-BESM
cdsat
cdsat
crdocs
distributed crdt based document editor running in wasm
ill
educational compiler for not (quite) toy languages
MGC
comp 520 go compiler
polonius-demo
polonius-demo
rhb-specs
stackqueue
Use stackoverflow to find out how much you know.
whycode
xldenis's Repositories
xldenis/besm
Resurrecting PP-BESM
xldenis/whycode
xldenis/polonius-demo
polonius-demo
xldenis/rhb-specs
xldenis/cdsat
cdsat
xldenis/symexec
xldenis/why3-tools
Tools to interact with why3 sessions
xldenis/boogie
A (not yet) complete implementation of a Boogie parser and pretty-printer
xldenis/xldenis.github.com
xldenis/calc
a simple line calculator
xldenis/tool-lib
xldenis/xav.io
xav.io
xldenis/creusot-exercises
Exercises for Creusot
xldenis/DailyOrganizer
Sublime Text plugin for basic note taking organization
xldenis/dotfiles
dotfiles
xldenis/esperanto
build-once run-anywhere OCaml programs
xldenis/isqrt
Implementations and proofs of integer square root
xldenis/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
xldenis/obsidian-releases
xldenis/opam-repository
Main public package repository for opam, the source package manager of OCaml.
xldenis/pcs
xldenis/petgraph
Graph data structure library for Rust.
xldenis/project-stable-mir
xldenis/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
xldenis/rust
Empowering everyone to build reliable and efficient software.
xldenis/rustfmt
Format Rust code
xldenis/syn
Parser for Rust source code
xldenis/ui_test
A test framework for testing rustc diagnostics output
xldenis/VerifiedDBM
DBM Implementation Verified by Creusot
xldenis/Why3-Find
This is a fork of https://git.frama-c.com/pub/why3find