plasma-umass / compsci631
Support code for Programming Languages (COMPSCI631)
☆7Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for compsci631
- Documenting how OCaml libraries are managed☆11Updated 5 years ago
- ☆16Updated 5 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 7 years ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Updated last year
- Modal Editing Witch☆12Updated 4 years ago
- ☆20Updated 5 years ago
- ☆14Updated 2 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 7 years ago
- OCaml Tetris☆23Updated 5 years ago
- Some fun with creating little collaborative browser things...☆11Updated 3 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Updated 4 months ago
- Evaluate code through the OCaml toploop for inclusion in educational material.☆12Updated 9 years ago
- ImpFS, a new filesystem.☆20Updated 2 years ago
- CI in tty☆15Updated last year
- Shell scripting language☆12Updated 8 years ago
- Compat result type☆13Updated 4 years ago
- OCaml rewrite of the ixy network driver☆35Updated 3 years ago
- Ocaml modular spam filter☆15Updated 2 months ago
- secret project☆17Updated 6 years ago
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Updated 6 years ago
- Xen core platform libraries for MirageOS☆18Updated 6 months ago
- Canopy blog data that powers ICFP liveblog☆17Updated 8 years ago
- a distributed computing library for OCaml☆24Updated 10 months ago
- Read and write FAT format filesystems from OCaml☆25Updated last year
- Print with style in your terminal using Format's semantic tags☆18Updated last year
- [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml☆11Updated 2 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆18Updated 2 weeks ago
- WIP Handbook for MirageOS☆14Updated 6 years ago
- OCaml module for native access to the systemd facilities☆21Updated 2 years ago