Dyna2 compiler and REPL
☆150Jun 14, 2020Updated 6 years ago
Alternatives and similar repositories for dyna
Users that are interested in dyna are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dyna built on R-exprs (First Prototype)☆17Mar 7, 2022Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆421Jun 21, 2022Updated 4 years ago
- A pure Haskell implementation of Datalog☆106Aug 18, 2020Updated 6 years ago
- Metagol - an inductive logic programming system☆212Sep 13, 2021Updated 5 years ago
- Build-to-Order BLAS☆12Apr 9, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Example automatic differentiation code in Scala☆31Jun 22, 2020Updated 6 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Oct 30, 2026Updated last week
- Collapsing Towers of Interpreters (in Scheme)☆62Aug 22, 2018Updated 8 years ago
- JCog☆13Sep 18, 2011Updated 15 years ago
- A shallow embedding of the OpenGL Shading Language in Haskell☆14Jun 18, 2018Updated 8 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 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.
- Dynamic programming inference by continuation hashing.☆30Apr 6, 2015Updated 11 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- Dealing with Flags and Options☆13Oct 29, 2026Updated last week
- Create Vega-Lite visualizations from Haskell.☆60Jan 9, 2026Updated 9 months ago
- Stochastic gradient descent Haskell library☆13Jun 24, 2024Updated 2 years ago
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- A probabilistic programming language☆319Mar 31, 2026Updated 7 months ago
- The Makam Metalanguage☆206Mar 7, 2023Updated 3 years ago
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 8 years ago
- 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.
- Dr. Bayes☆83Jun 27, 2016Updated 10 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆50Jan 24, 2025Updated last year
- Learning rigid grammars in Haskell.☆25Nov 19, 2017Updated 8 years ago
- clients for various social media APIs in continuation passing style☆12Oct 17, 2026Updated 3 weeks ago
- Relational programming in Haskell. Mostly developed on twitch.☆277Jan 20, 2026Updated 9 months ago
- debugging biological networks to reach coherence, completeness and consistency☆50Feb 18, 2024Updated 2 years ago
- Continuation-passing style and closure conversion transforms for r6rs scheme.☆13Sep 5, 2011Updated 15 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Collapsing Towers of Interpreters☆97Jun 21, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆42Aug 14, 2017Updated 9 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- ☆51Mar 14, 2017Updated 9 years ago
- Docker image for nix [maintainer=@zimbatm] [status=deprecated]☆37May 19, 2020Updated 6 years ago
- A Church implementation that compiles to Javascript.☆20Apr 6, 2015Updated 11 years ago
- ☆18Nov 18, 2020Updated 5 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago