alf-tool / alfLinks
Relational Algebra at your fingertips
☆62Updated 10 years ago
Alternatives and similar repositories for alf
Users that are interested in alf are comparing it to the libraries listed below
Sorting:
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- ☆40Updated 9 years ago
- SMTP client and server☆47Updated 2 weeks ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Plan9 software ported to OCaml☆34Updated this week
- The MLtonLibrary repository☆36Updated 2 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- An interactive Datalog☆51Updated this week
- The consistent distributed key-value store in Open vStorage.☆29Updated 6 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- ☆35Updated 6 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 10 months ago
- This package contains a lightweight deductive database system in OCaml☆41Updated 3 years ago
- purple: compiling a reflective language☆33Updated last year
- Proposed documentation for alloytools.org☆71Updated last month
- Random Access Zipper in OCaml☆14Updated 8 years ago
- Binary protocol generator☆83Updated 2 weeks ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- Match compilation algorithm in OCaml☆30Updated 7 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago