☆54Aug 11, 2026Updated 2 months ago
Alternatives and similar repositories for datalog
Users that are interested in datalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Aug 11, 2026Updated 2 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- An online playground for Racket.☆13May 11, 2021Updated 5 years ago
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Jun 21, 2023Updated 3 years ago
- ☆24Aug 11, 2026Updated 2 months ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆16Apr 4, 2022Updated 4 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆24Aug 15, 2026Updated 2 months ago
- An embeddable flow-oriented language.☆76Updated this week
- LightTable plugin for OCaml☆18Sep 4, 2017Updated 9 years ago
- ☆19Oct 18, 2026Updated last week
- Awesome datalog libraries, tools and resources☆64Jan 3, 2020Updated 6 years ago
- ☆12Jan 2, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Oct 2, 2017Updated 9 years ago
- A template of a native Janet module written in Rust☆15Jan 22, 2025Updated last year
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 3 years ago
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 years ago
- ☆113Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Emacs style editor written in Racket☆63Jul 13, 2019Updated 7 years ago
- racket llvm C-API bindings☆17Feb 7, 2026Updated 8 months ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Jan 6, 2024Updated 2 years ago
- Module for working with linear algebra in Elixir.☆15Jan 3, 2017Updated 9 years ago
- ☆58Oct 3, 2026Updated 3 weeks ago
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- ☆40Oct 21, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Scala-style magic function application form☆42Jul 31, 2022Updated 4 years ago
- Visual Studio Code integration for the Idris 2 language server☆33Nov 2, 2024Updated last year
- a datalog interpreter in typescript☆224Dec 31, 2024Updated last year
- Local SNS☆10Jun 2, 2026Updated 4 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆38Mar 17, 2025Updated last year
- ☆15Aug 11, 2026Updated 2 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year