pbv / haskelite
Re-implementation of a minimal interpreter for a subset of Haskell
☆31Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for haskelite
- Desk-Booking Web Application☆41Updated 2 weeks ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated 2 weeks ago
- Registry of PureScript packages and metadata about them☆46Updated last week
- A Haskell monad transformer library for data validation☆36Updated last year
- A curated list of awesome functional programming jobs.☆42Updated this week
- The UI for Unison Share☆29Updated this week
- Explicit typeclasses for Elm☆54Updated 3 years ago
- ☆21Updated 2 weeks ago
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- PureScript crash course targeted at Elm developers☆36Updated 2 months ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 2 months ago
- Elm profiles to sponsor☆23Updated last year
- A syntax tidy-upper for PureScript.☆92Updated 8 months ago
- CSS in PureScript☆38Updated last year
- Moved to https://github.com/haskell-webgear/webgear☆38Updated 3 years ago
- ☆40Updated last year
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- A PureScript implementation of The Elm Architecture☆67Updated last month
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- 7GUIs in Elm.☆16Updated last month
- Kotlin-backend for PureScript☆81Updated 3 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated last month
- ☆73Updated this week
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- A structural editor for JSON values☆78Updated 2 years ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated this week
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- Call and consume GraphQL APIs with type safe queries and responses☆25Updated 6 months ago