opyapeus / psimp
A PureScript's CoreImp AST for transpiling into dynamically typed languages
☆15Updated 4 years ago
Alternatives and similar repositories for psimp:
Users that are interested in psimp are comparing it to the libraries listed below
- ☆26Updated 2 years ago
- A parser for PureScript's corefn JSON representation.☆14Updated 6 years ago
- ☆15Updated 2 years ago
- PureC bindings to libuv☆11Updated 6 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Purescript bindings for the Ace editor☆19Updated 2 years ago
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 2 years ago
- The Event type, extracted from purescript-behaviors☆23Updated 4 years ago
- Generate an icons module in purescript halogen from svg files☆11Updated 2 years ago
- Wasm library for PureScript☆27Updated 6 months ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Updated 10 months ago
- Fast, hash-based, immutable collections.☆25Updated 11 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- A library to render HTML string into Halogen views☆22Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Simple two-dimensional matrices backed by a flat array☆18Updated 4 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Updated 2 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- ☆21Updated last year
- Proact is an FRP framework that interacts with React through commands expressed as Free programs and extensible effects☆10Updated 4 years ago
- Events, behaviors, and uneventful misbehaving☆15Updated 5 months ago
- Types for the least and greatest fixed points of functors.☆15Updated 2 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- MIDI and Web MIDI support☆11Updated 2 years ago
- Working illustration of the Capability Design Pattern☆12Updated 4 years ago
- Syntactically light-weight call-by-name arguments in PureScript. No guarantees. Completely gratuitous.☆30Updated 2 years ago
- ☆13Updated 3 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago