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☆35Updated 6 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- purple: compiling a reflective language☆32Updated 7 months ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Alice ML implementation☆17Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last week
- Random Access Zipper in OCaml☆14Updated 8 years ago
- For hosting ATS3 and developing CodeDepot☆14Updated this week
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month
- ☆35Updated 5 years ago
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Distributed computing library☆35Updated 6 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated last month