A priliminary backend for Idris that compiles to Clean.
☆15Apr 3, 2017Updated 8 years ago
Alternatives and similar repositories for idris-clean
Users that are interested in idris-clean are comparing it to the libraries listed below
Sorting:
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- Collection of Idris snippets☆23Dec 23, 2025Updated 2 months ago
- A recursion scheme library for Idris.☆25Feb 13, 2026Updated 2 weeks ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- Extensible records for Idris☆25Jun 13, 2021Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- ☆13Feb 18, 2021Updated 5 years ago
- ☆15Dec 20, 2021Updated 4 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- ☆16Mar 11, 2022Updated 3 years ago
- A TUI to manipulate the Jujutsu DAG.☆34Updated this week
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- The Elm architecture ported to Idris Programming language☆14Feb 27, 2019Updated 7 years ago
- Petrinet.org interactive playground website☆16Oct 17, 2019Updated 6 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 7 years ago
- Haskell Wavefront OBJ loader library☆20Dec 23, 2023Updated 2 years ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- ☆23Feb 20, 2026Updated last week
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated last month
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 3 months ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 4 years ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Oct 1, 2021Updated 4 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!☆17Nov 4, 2018Updated 7 years ago
- Purescript bindings for the Ace editor☆19Jan 9, 2023Updated 3 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- 2048 in Idris☆124Nov 28, 2017Updated 8 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Jan 23, 2026Updated last month
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago