aryx / syncweb
literate programming meets unison
☆27Updated 11 months ago
Alternatives and similar repositories for syncweb:
Users that are interested in syncweb are comparing it to the libraries listed below
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Plan9 software ported to OCaml☆25Updated 11 months ago
- miniKanren in OCaml☆31Updated last year
- S-expression swiss knife☆44Updated 4 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- RPC client/server for Irmin☆19Updated 3 years ago
- A small CLI to launch notifications at a given time☆13Updated 4 years ago
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- Create, Answer and Integrate Questionnaires in OCaml☆13Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Updated 2 months ago
- ☆38Updated 8 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Updated 11 years ago
- Extra string functions for OCaml☆21Updated 2 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 months ago
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated this week
- Pure OCaml library to read and write tar files☆56Updated 3 weeks ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 3 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Updated 7 years ago
- ☆15Updated 6 years ago
- What do you mean?☆43Updated 2 weeks ago
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago