julianhyde / morel
Standard ML interpreter, with relational extensions, implemented in Java
☆33Updated 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.☆22Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆322Updated last week
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated this week
- Java 8 Collection Utilities☆10Updated last month
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 7 months ago
- sql-logic-test☆60Updated last year
- Zig library for HyperLogLog estimation☆89Updated 9 months ago
- Relational Database for High-Intensity OLTP workloads.☆67Updated this week
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated last month
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Resumable exceptions and delimited continuations for JVM☆40Updated last month
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- Implementation of popular consensus protocols☆21Updated 4 years ago
- A small general purpose programming language for programming on the JVM. packages: https://smllpkgs.onrender.com/☆16Updated 2 months ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- A PEG that compiles itself.☆75Updated 14 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 3 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆112Updated 2 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project,…☆30Updated 3 years ago
- Messing with Postgres query execution and hook infrastructure.☆13Updated last year
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 6 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 9 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Query processor with proven optimizations, ready to use for your JSON store to query semi-structured data with JSONiq. Can also be used a…☆48Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- concatenative array language inspired by kdb/+q☆91Updated 3 years ago
- Multi-Array Queue program codes☆75Updated 3 months ago
- FoundationDB Correctness service☆29Updated 3 weeks ago