sigma-andex / idris-refinedView external linksLinks
Port of Scala/Haskell Refined library to Idris
☆17Apr 25, 2021Updated 4 years ago
Alternatives and similar repositories for idris-refined
Users that are interested in idris-refined are comparing it to the libraries listed below
Sorting:
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 8 years ago
- A (incomplete) terminal Tetris. Written in Haskell.☆26Jan 18, 2018Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated 3 weeks ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- My personal web site☆17Feb 5, 2026Updated last week
- ☆16Nov 6, 2021Updated 4 years ago
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated last month
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- ☆21Jul 16, 2025Updated 7 months ago
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 2 years ago
- An opinionated PureScript wrapper for RxJS, complete with a Monad Transformer ObservableT☆20Oct 8, 2023Updated 2 years ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 7 months ago
- Asynchronous, fully functional Cassandra driver implemented in fs2☆19Oct 31, 2025Updated 3 months ago
- Functional AWS API implementation for Scala☆24Sep 22, 2018Updated 7 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Haskell API for NATS messaging system - new base repo: https://github.com/wayofthepie/nats-queue☆20Sep 2, 2015Updated 10 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 5 years ago
- Frontend state management library for cats-effect☆27Nov 21, 2021Updated 4 years ago
- Principled and efficient binary serialization☆62Oct 11, 2025Updated 4 months ago
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 7 years ago
- Provably correct implementation of insertion sort in Idris.☆31Apr 23, 2021Updated 4 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Feb 2, 2026Updated 2 weeks ago
- Comparison between different patterns☆27Sep 29, 2017Updated 8 years ago
- ☆29Oct 23, 2019Updated 6 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Signature inference for Functional Property Discovery in Haskell☆38Sep 17, 2017Updated 8 years ago
- bamboomigrate is a typelevel transformation and migration library☆30Mar 30, 2018Updated 7 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- A monadic (and pretty) pretty printer for Haskell☆39Jul 12, 2023Updated 2 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago