sean-codes / sean-codes.github.io
site for projects and notes
☆10Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for sean-codes.github.io
- ☆10Updated 7 years ago
- OCaml bindings to Zstandard (http://zstd.net)☆21Updated 5 months ago
- A micro compiler for the FORTH programming language☆11Updated 3 years ago
- Interacting with cron from OCaml☆11Updated 2 years ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Updated last year
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Code examples for OCaml.☆9Updated 4 years ago
- Transactions, Keys, and Values☆24Updated 7 years ago
- ☆17Updated 8 months ago
- L-system interpreter in OCaml☆22Updated 8 years ago
- an arithmetic library for OCaml’s native integers☆12Updated 4 months ago
- Small PPX for fixed size integer literals☆9Updated 2 years ago
- Literate assertions for OCaml☆18Updated 5 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- My Attempt at System Fω with Row-Polymorphism☆29Updated 3 years ago
- HTTP combinators for MirageOS☆12Updated 5 years ago
- OPAM repository for bioinformatics tools.☆9Updated 8 years ago
- Ocaml code from Writing an Interpreter in Go☆10Updated 5 years ago
- A mini language for logic programming☆23Updated 4 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- a distributed computing library for OCaml☆24Updated 9 months ago
- Some fun with creating little collaborative browser things...☆11Updated 3 years ago
- Compile HTML templates to OCaml modules to generate consistent web sites.☆24Updated 3 years ago
- Naive interpreter for a Python like language☆13Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 6 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated 3 months ago
- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.☆20Updated 2 years ago