☆92Nov 13, 2015Updated 10 years ago
Alternatives and similar repositories for truffled-purescript
Users that are interested in truffled-purescript are comparing it to the libraries listed below
Sorting:
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- Apply PureScript compiler suggestions to fix warnings☆25Feb 20, 2024Updated 2 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- ☆46Jul 2, 2016Updated 9 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- A small strongly typed language that compiles to C++11☆152Mar 19, 2019Updated 6 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆638Mar 28, 2023Updated 2 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- A clean, type-safe library for describing, manipulating and rendering CSS☆108Jul 25, 2023Updated 2 years ago
- Arbitrary length integers for PureScript☆26Mar 22, 2023Updated 2 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- A native PureScript virtual DOM implementation.☆49Apr 23, 2017Updated 8 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- A PureScript webserver interface based on asynchronous middlewares.☆14Nov 16, 2022Updated 3 years ago
- JVM bytecode back end for Idris☆478Jan 27, 2026Updated last month
- Various efficient-ish sequence types for PureScript.☆47Mar 17, 2024Updated last year
- A compiler from Purescript to Python☆42Apr 16, 2015Updated 10 years ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- PureScript UI framework based on lenses.☆122Oct 10, 2016Updated 9 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 9 years ago
- ☆10Apr 30, 2020Updated 5 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- A build tool for PureScript projects☆444Jun 18, 2022Updated 3 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- Monad and comonad transformers☆71Jul 10, 2024Updated last year
- ☆26May 3, 2022Updated 3 years ago
- An extensible virtual-dom library for PureScript.☆58Jun 16, 2024Updated last year
- A definition and reference implementation for MRA in PureScript.☆17Aug 11, 2017Updated 8 years ago
- PureScript implementation of lens☆78Oct 3, 2020Updated 5 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- ☆26Oct 3, 2020Updated 5 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Sep 18, 2025Updated 5 months ago