aherlihy / caracLinks
A Datalog execution engine for Scala
☆14Updated 2 months ago
Alternatives and similar repositories for carac
Users that are interested in carac are comparing it to the libraries listed below
Sorting:
- Kafka as a Datalog Engine☆28Updated 7 months ago
- Non-blocking asynchronous domain-customizable database query language for Scala and Scala.js against the Datomic database.☆67Updated 2 years ago
- A programming language for distributed applications☆35Updated last year
- Some CRDT implementations in Datalog☆18Updated 7 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 6 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 6 months ago
- Advanced Scripting IDE for JVM based languages.☆28Updated 4 years ago
- Effect Handlers for Java / the JVM☆29Updated 5 years ago
- ☆10Updated 3 years ago
- The Flix Programming Book☆20Updated 2 weeks ago
- Sandbox for playing around with CRDTs☆31Updated 8 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated 2 months ago
- A cycle.js style user-computer model in Laminar☆24Updated 3 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- A discrete, colored Petri Net DSL and executor☆17Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆132Updated 4 years ago
- A Datalog API for Spark☆25Updated 9 years ago
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆57Updated 8 months ago
- Port of the Shen programming language to the Graal runtime☆26Updated 8 years ago
- LL(1) parser combinators in Scala☆61Updated 2 months ago
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency☆176Updated this week
- An open-source database inspired by Datomic☆31Updated last year
- Extism Plug-in development kit (PDK) for Haskell☆10Updated 8 months ago
- Datalog that's as easy as ABC.☆64Updated 3 months ago
- Functional Reinforcement Learning in Scala.☆27Updated 7 months ago
- a library for constructing geometric data☆66Updated 6 years ago
- Java Code Generator for Idris☆72Updated 9 years ago