philzook58 / datalog-bookLinks
A book about datalog
☆12Updated 2 years ago
Alternatives and similar repositories for datalog-book
Users that are interested in datalog-book are comparing it to the libraries listed below
Sorting:
- Slog 1.0☆43Updated last year
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- ☆36Updated last year
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- The SAW core language.☆54Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Constructive Galois connections☆35Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Imagine a Dependently Typed Python☆11Updated 5 months ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 7 months ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- An implementation of Haskell’s MVars in Racket☆30Updated 10 months ago
- A verified compiler for a lazy functional language☆37Updated last week
- Generation of abstract binding trees☆27Updated 10 months ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated last year
- Intrinsic Verification of Formal Grammar Theory☆26Updated last month
- Class of data structures that can be unfolded.☆22Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated 3 weeks ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆31Updated 4 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Some tools for provability logic☆37Updated 7 years ago