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
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆40Updated 9 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- The consistent distributed key-value store in Open vStorage.☆29Updated 6 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Random Data Generator for arbitrary data types☆29Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 9 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- Beating the CAP theorem with the epidemic register☆16Updated 5 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Plan9 software ported to OCaml☆34Updated last week
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- This package contains a lightweight deductive database system in OCaml☆41Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 3 years ago
- Random Access Zipper in OCaml☆14Updated 8 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- A Datalog Framework for Python☆12Updated 2 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- SMTP client and server☆46Updated 2 months ago
- ☆28Updated 6 years ago
- Binary protocol generator☆80Updated last month
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago