snejugal / typedKanrenView external linksLinks
A statically typed embedding of miniKanren in Haskell
☆24Jun 8, 2025Updated 8 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 4 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 8 months ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Updated this week
- Provide embedded swagger UI for servant and swagger☆48Feb 4, 2026Updated last week
- Compatibility checker for OpenAPI☆26Sep 12, 2024Updated last year
- 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 last month
- Setting up GHC, cabal, stack on for Haskell-related CIs☆86Jan 16, 2026Updated last month
- GHCup metadata repository☆43Jan 26, 2026Updated 3 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
- 🐈 A tasty Haskell mobile framework☆80Updated this week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Haskell Client Library for the Nakadi Event Broker☆13Aug 12, 2020Updated 5 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- ☆17Feb 8, 2026Updated last week
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆12Nov 15, 2025Updated 3 months ago
- haskell source code visualizer☆100Updated 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 3 weeks ago
- ☆12Apr 3, 2018Updated 7 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Koans to learn rhine☆13Feb 3, 2026Updated 2 weeks ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 5 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- neovim plugin for ghcid☆15Dec 8, 2025Updated 2 months ago
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago
- A tool to help manage environments☆24Mar 10, 2023Updated 2 years ago
- Haskell client library for HashiCorp's Vault tool (via HTTP API)☆10Oct 28, 2021Updated 4 years ago
- A monad for interfacing with external SMT solvers☆15Dec 12, 2025Updated 2 months ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago