mikeplus64 / Level-0Links
Haskell Snake clone.
☆35Updated 13 years ago
Alternatives and similar repositories for Level-0
Users that are interested in Level-0 are comparing it to the libraries listed below
Sorting:
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- Type level natural numbers and booleans☆34Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Compile PureScript into Haskell.☆68Updated 7 years ago
- Haskell library for creating command-line interfaces (colors, menus, etc.)☆23Updated 4 months ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- Rapid prototyping with GHCi☆58Updated 6 years ago
- Canvas bindings for PureScript☆55Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Pux time-travelling devtool.☆42Updated 8 years ago
- Executable examples for Elerea.☆18Updated 9 years ago
- Simple Bindings to Websocket API for Purescript☆34Updated 4 years ago
- A data structure for drawings☆46Updated 6 years ago
- Common control classes and utility functions☆56Updated last year
- A tiny EDSL for making slides in PureScript☆26Updated 8 years ago
- Auto-generate a server for your datatype☆30Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Example purescript-reactnative Movie app☆38Updated 6 years ago
- Type-Level Routing for PureScript☆41Updated 5 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 5 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- A utility library for the purescript foreign function interface☆21Updated 7 years ago
- Open records for Haskell☆22Updated 7 years ago
- JVM implementation in Haskell☆44Updated 9 months ago
- ☆39Updated last year
- Build servers in Hyper using Trout☆16Updated 4 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago