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
- purple: compiling a reflective language☆33Updated 11 months ago
- Random Data Generator for arbitrary data types☆29Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A Typed, Composable Database Query Language☆104Updated 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
- Match compilation algorithm in OCaml☆30Updated 7 months ago
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- Binary protocol generator☆83Updated last month
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- ☆40Updated 9 years ago
- Slog 1.0☆43Updated last year
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- ☆48Updated last month
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- SMTP client and server☆47Updated last month
- How do you do that recursive GADT thing again?☆28Updated last year
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- This package contains a lightweight deductive database system in OCaml☆41Updated 3 years ago