Cross-compiler from Haskell to Rust, plus parser-haskell.
☆79Jul 22, 2017Updated 8 years ago
Alternatives and similar repositories for corollary
Users that are interested in corollary are comparing it to the libraries listed below
Sorting:
- Haskell's language-c ported to Rust.☆33Apr 4, 2018Updated 7 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Sep 8, 2018Updated 7 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 8 years ago
- Regex-based search across package repositories☆13Nov 9, 2019Updated 6 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- Category theory concepts in type classes and instances.☆23Feb 12, 2026Updated 3 weeks ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Apr 25, 2018Updated 7 years ago
- Parser and pretty-printer for the Rust language☆86Sep 18, 2023Updated 2 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 4 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Exercism exercises in PureScript.☆38Updated this week
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆32Apr 25, 2017Updated 8 years ago
- Truncate strings in a human-friendly way.☆14Dec 5, 2021Updated 4 years ago
- it's a guitar jammer☆18Mar 2, 2016Updated 10 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- NanoVG Haskell bindings☆22May 17, 2023Updated 2 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Tiling window manager for wayland☆16Sep 1, 2016Updated 9 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Kit-kat clock utility rewritten in Rust using minifb☆19Dec 2, 2021Updated 4 years ago
- A mostly functional haskell compiler written in rust☆321Dec 23, 2023Updated 2 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- freer monads and cofreer comonads.☆23Jun 26, 2018Updated 7 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- A proof of concept automatic differentiation library for Rust☆24Feb 28, 2018Updated 8 years ago
- Purescript bindings for the Ace editor☆19Jan 9, 2023Updated 3 years ago
- Ur/Web part of BazQux Reader sources☆84Jun 10, 2021Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 7 years ago