boystrange / FuSeLinks
A simple library implementation of binary sessions
☆10Updated last year
Alternatives and similar repositories for FuSe
Users that are interested in FuSe are comparing it to the libraries listed below
Sorting:
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- Formalising session types in Coq☆17Updated 5 years ago
- 6502 chip simulator in OCaml☆13Updated last year
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- ☆11Updated last month
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆14Updated last week
- OCaml bindings to Minisat☆12Updated last year
- ☆20Updated 6 years ago
- Effects-based OCaml Nameserver☆20Updated 3 weeks ago
- A PBT framework☆9Updated last month
- RISC-V OCaml cross compiler☆14Updated 6 years ago
- The caml walks, OCaml runs☆19Updated last year
- ☆11Updated 2 years ago
- A Coq plugin that implements exceptions in Coq☆13Updated 4 years ago
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- multi-shot continuations in OCaml☆48Updated 4 months ago
- Implementation of sprintf for Coq☆18Updated 5 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- an arithmetic library for OCaml’s native integers☆11Updated 11 months ago
- Tactic for polynomial manipulations☆10Updated last month
- Snóke is a good old Snake game with new ideas☆21Updated 2 years ago
- Experimental opam plugin☆16Updated 2 months ago
- LP and MIP modeling in OCaml☆28Updated 2 months ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆16Updated 6 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago
- Emacs client for statistical memory profiler☆16Updated 5 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated 2 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Updated last year
- An interval library for OCaml☆16Updated 2 years ago