xldenis

besm

Resurrecting PP-BESM

whycode

crdocs

distributed crdt based document editor running in wasm

polonius-demo

polonius-demo

rhb-specs

cdsat

cdsat

why3-tools

Tools to interact with why3 sessions

tool-lib

xldenis.github.com

calc

a simple line calculator

xav.io

xav.io

viz-debug

creusot-exercises

Exercises for Creusot

DailyOrganizer

Sublime Text plugin for basic note taking organization

dotfiles

dotfiles

esperanto

build-once run-anywhere OCaml programs

flowistry

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

isqrt

Implementations and proofs of integer square root

linol

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

obsidian-releases

opam-repository

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

phone

project-stable-mir

prusti-dev

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

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

An experimental Rust compiler front-end for IDEs

rust-crdt

a collection of well-tested, serializable CRDTs for Rust

rustfmt

Format Rust code

syn

Parser for Rust source code