aryx / syncwebLinks
literate programming meets unison
☆28Updated this week
Alternatives and similar repositories for syncweb
Users that are interested in syncweb are comparing it to the libraries listed below
Sorting:
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Plan9 software ported to OCaml☆30Updated this week
- miniKanren in OCaml☆31Updated 2 years ago
- S-expression swiss knife☆45Updated 3 weeks ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Pure OCaml implementation of the D-Bus protocol☆34Updated last year
- A small CLI to launch notifications at a given time☆13Updated 4 years ago
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- What do you mean?☆43Updated 2 months ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Updated 2 years ago
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 3 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Pure OCaml library to read and write tar files☆56Updated 2 months ago
- OCaml library for manipulating context-free grammars☆20Updated 4 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- Random Access Zipper in OCaml☆14Updated 8 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Extensible binary data format, like JSON but faster☆43Updated 2 years ago
- Implementation of maps of integers with Patricia trees☆22Updated 4 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Effect-Driven Compiler Tester for OCaml☆38Updated 5 years ago