katsujukou / TaPL-in-PureScript
The PureScript implementation for the *Types and Programming Language* by B. Pierce
☆19Updated 7 months ago
Alternatives and similar repositories for TaPL-in-PureScript:
Users that are interested in TaPL-in-PureScript are comparing it to the libraries listed below
- A hooks library for purescript-halogen☆17Updated 3 years ago
- A UI library with easy and flexible state management inspired by Recoil.js and React Hooks.☆36Updated 2 years ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆38Updated 3 weeks ago
- Automatically import Haskell modules.☆20Updated 2 weeks ago
- Require that callers propagate `HasCallStack` constraints☆21Updated last month
- Spreadsheet management application on Halogen☆25Updated 7 months ago
- not finished, was working on commit where I have added image to README☆28Updated 3 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Updated 2 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆18Updated 3 months ago
- Flake template for Haskell repository☆26Updated 3 months ago
- ☆24Updated 3 years ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Extend Cabal build-depends from the command line☆56Updated 2 months ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆11Updated 10 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated last year
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Reproducible PureScript projects with Nix☆21Updated last week
- [🚀 Work In Progress] Compiler frontend for the PureScript programming language.☆54Updated last week
- A modern Haskell debugger☆30Updated last year
- Session types framework with support of protocol pipelining.☆15Updated last week
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated 2 years ago
- Library support for the compiler-builtin Coercible type class.☆19Updated 2 years ago
- Existential types as a library☆34Updated 2 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- The PureScript Package Manager in Nix☆56Updated 2 weeks ago
- ☆28Updated 2 years ago
- Types and kinds for basic type-level programming☆64Updated 3 months ago
- Read Typescript source and write Purescript types☆16Updated 5 years ago
- It's Vue, it's PureScript. Simple as that.☆18Updated 9 months ago
- See the docs and live playground here☆13Updated 2 years ago