A statically typed embedding of miniKanren in Haskell
☆24Jun 8, 2025Updated 9 months ago
Alternatives and similar repositories for typedKanren
Users that are interested in typedKanren are comparing it to the libraries listed below
Sorting:
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 5 months ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Sep 28, 2024Updated last year
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- OpenAPI 3.0 data model☆47May 17, 2025Updated 9 months ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Feb 28, 2026Updated last week
- Provide embedded swagger UI for servant and swagger☆48Feb 4, 2026Updated last month
- Compatibility checker for OpenAPI☆26Sep 12, 2024Updated last year
- Setting up a Haskell development environment with Nix☆20Sep 16, 2020Updated 5 years ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆98Dec 28, 2025Updated 2 months ago
- Setting up GHC, cabal, stack on for Haskell-related CIs☆87Jan 16, 2026Updated last month
- GHCup metadata repository☆43Feb 20, 2026Updated 2 weeks ago
- Оценка ИЦБ ДОМ.РФ и других с симуляционными моделями для короткой ставки и досрочных погашений☆10Oct 14, 2019Updated 6 years ago
- A wrapper around Text for fast line/column navigation and logarithmic concatenation☆39Jul 17, 2024Updated last year
- Practical effect composition library based on abstract wrapping type and the free monad☆39Sep 12, 2018Updated 7 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated this week
- ☆12Mar 13, 2025Updated 11 months ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- ☆17Updated this week
- VS Code color theme optimised for Haskell, groovy, C, python, nix & hcl syntax highlighting.☆15Oct 9, 2025Updated 5 months ago
- Haskell Client Library for the Nakadi Event Broker☆13Aug 12, 2020Updated 5 years ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆12Nov 15, 2025Updated 3 months ago
- 🐈 A tasty Haskell mobile framework☆83Updated this week
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Jan 21, 2026Updated last month
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- A monad for interfacing with external SMT solvers☆15Dec 12, 2025Updated 2 months ago
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- Python financial statement analysis, audit, and tax tools for accounting professionals, designed by a CPA for accountants.☆11Apr 27, 2017Updated 8 years ago
- Koans to learn rhine☆13Feb 24, 2026Updated last week
- neovim plugin for ghcid☆16Dec 8, 2025Updated 3 months ago
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago