julianhyde / morel
Standard ML interpreter, with relational extensions, implemented in Java
☆30Updated this week
Alternatives and similar repositories for morel:
Users that are interested in morel are comparing it to the libraries listed below
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated last year
- The Brown Benchmark for Table Types (B2T2)☆62Updated 7 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 3 weeks ago
- Andl is A New Database Language☆75Updated 8 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 6 months ago
- Whole Platform Language Workbench☆27Updated 7 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆26Updated 2 years ago
- Like HyperLogLog, but slower 🛶☆10Updated 4 years ago
- A small general purpose programming language for programming on the JVM. packages: https://smllpkgs.onrender.com/☆14Updated 4 months ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆99Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆41Updated this week
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆64Updated 7 years ago
- ☆34Updated 4 years ago
- Relational Database Management System☆16Updated 4 years ago
- Cell language C++ runtime☆17Updated 4 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated 2 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated this week
- A general purpose relational language☆20Updated 4 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆100Updated 10 months ago
- A minimalist / functional / dataflow programming language☆13Updated 8 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆26Updated last month
- Web UI for analyzing Language Server Protocol logs☆12Updated last year