jarcane / red-flag-of-fp
The Red Flag of Functional Programming
☆105Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for red-flag-of-fp
- Implementations of µKanren in assorted languages☆61Updated 8 years ago
- xmonad with the X11 abstracted and configured with Idris☆205Updated 5 years ago
- Language independent type-safe communication☆133Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆91Updated 6 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Updated 4 years ago
- ⚡️ A practical standard library for PureScript.☆47Updated 6 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆179Updated 6 years ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- 2048 in Idris☆121Updated 6 years ago
- Haskell in S-expression☆171Updated last month
- Compile PureScript into Haskell.☆69Updated 6 years ago
- A lightweight, fast and unintrusive PureScript file-watcher☆134Updated 8 months ago
- A Racket package for creating and composing pure functional lenses☆74Updated 5 years ago
- An attempt at porting my space invaders game, originally written in Clojure, to PureScript☆12Updated 8 years ago
- μKanren in Elm☆42Updated 7 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 3 months ago
- Asteroids for a web browser, in PureScript☆43Updated 10 years ago
- A combinator library for generating markup☆89Updated 3 years ago
- The Ntha Programming Language☆93Updated 7 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- ☆72Updated 7 years ago
- λtext - higher-order file applicator☆36Updated 10 months ago