katsujukou / TaPL-in-PureScriptLinks
The PureScript implementation for the *Types and Programming Language* by B. Pierce
☆19Updated last year
Alternatives and similar repositories for TaPL-in-PureScript
Users that are interested in TaPL-in-PureScript are comparing it to the libraries listed below
Sorting:
- guardian - the border guardian for your Haskell monorepo package dependencies☆40Updated last month
- A UI library with easy and flexible state management inspired by Recoil.js and React Hooks.☆35Updated 2 years ago
- A hooks library for purescript-halogen☆16Updated 4 years ago
- Compiler frontend for PureScript in Rust☆69Updated this week
- ☆65Updated 2 years ago
- Nix + Lean = Nale☆12Updated 2 years ago
- PureScript Mock☆14Updated last year
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Updated 3 years ago
- A modern Haskell debugger☆31Updated 5 months ago
- The PureScript Package Manager in Nix☆58Updated 9 months ago
- Registry of PureScript packages and metadata about them☆47Updated this week
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Flake template for Haskell repository☆37Updated last year
- Syntactically light-weight call-by-name arguments in PureScript. No guarantees. Completely gratuitous.☆31Updated 3 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 9 months ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- ☆28Updated 3 years ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated last year
- Generate lenses and prisms for your data types automatically.☆11Updated 3 years ago
- Applicative option parser☆41Updated last year
- fleet-footed ByteString builder☆52Updated last year
- A Bash backend for PureScript☆20Updated 2 years ago
- It's Vue, it's PureScript. Simple as that.☆18Updated last year
- Automatically import Haskell modules.☆22Updated last week
- Syntax highlighter for Haskell using the lexer of GHC☆59Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 7 months ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆12Updated last year
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago