ElectreAAS

Pinned Repositories

AOC2022
Advent of Code 2022
Language:OCaml5 1 00
dune
A composable build system for OCaml.
Language:OCaml0 0 00
Evidence
Language:Coq0 1 00
gamelle
2d game engine for OCaml
Language:OCaml0 0 00
KnuckleAI
Language:OCaml0 1 01
lockfree
Lock-free data structures for multicore OCaml
Language:OCaml0 0 00
Paradict
Language:OCaml7 1 11
SliverSearcher
A variety of string-searching algorithms, to offer a sliver of optimization
Language:OCaml2 1 00
Tetris
Do I need to describe what Tetris is?
Language:OCaml4 1 01
dune
A composable build system for OCaml.
Language:OCaml1.7k 40 3.1k412

ElectreAAS's Repositories

ElectreAAS/Paradict
Language:OCaml7 1 11
ElectreAAS/AOC2022
Advent of Code 2022
Language:OCaml5 1 00
ElectreAAS/Tetris
Do I need to describe what Tetris is?
Language:OCaml4 1 01
ElectreAAS/SliverSearcher
A variety of string-searching algorithms, to offer a sliver of optimization
Language:OCaml2 1 00
ElectreAAS/dune
A composable build system for OCaml.
Language:OCaml0 0 00
ElectreAAS/Evidence
Language:Coq0 1 00
ElectreAAS/gamelle
2d game engine for OCaml
Language:OCaml0 0 00
ElectreAAS/KnuckleAI
Language:OCaml0 1 01
ElectreAAS/lockfree
Lock-free data structures for multicore OCaml
Language:OCaml0 0 00
ElectreAAS/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml0 0 00
ElectreAAS/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml00
ElectreAAS/RBGadt
Language:OCaml0 1 00
ElectreAAS/Rogue
Language:OCaml1 0