xldenis

Xavier Denis's repositories

besm

Resurrecting PP-BESM

Language:Haskell24 50

whycode

Language:OCamlLGPL-2.117 4 13

crdocs

distributed crdt based document editor running in wasm

Language:RustGPL-3.08 30

polonius-demo

Language:Rust5 30

rhb-specs

Language:Rust5 40

cdsat

Language:SMT400

why3-tools

Tools to interact with why3 sessions

Language:OCaml3 30

tool-lib

Language:Rust2 30

xldenis.github.com

Language:HTML2 30

calc

a simple line calculator

Language:Rust1 20

xav.io

Language:SCSS1 30

viz-debug

Language:Rust040

creusot-exercises

Exercises for Creusot

Language:Rust030

DailyOrganizer

Sublime Text plugin for basic note taking organization

Language:PythonGPL-3.0010

dotfiles

Language:Shell020

esperanto

build-once run-anywhere OCaml programs

Language:ShellMIT010

flowistry

Language:Rust020

isqrt

Implementations and proofs of integer square root

Language:AdaBSD-3-Clause000

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

Language:OCaml010

obsidian-releases

020

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellCC0-1.0010

petgraph

Graph data structure library for Rust.

Language:RustApache-2.0000

project-stable-mir

Apache-2.0010

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION020

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION020

rust-analyzer

An experimental Rust compiler front-end for IDEs

Language:RustApache-2.0020

rustfmt

Format Rust code

Language:RustApache-2.0010

syn

Parser for Rust source code

Language:RustApache-2.0020

ui_test

A test framework for testing rustc diagnostics output

Language:Rust000

Why3-Find

This is a fork of https://git.frama-c.com/pub/why3find

Language:OCamlNOASSERTION010