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
- Language independent type-safe communication☆133Updated 6 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Haskell in S-expression☆171Updated this week
- xmonad with the X11 abstracted and configured with Idris☆206Updated 5 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- Om with Haskell in it☆104Updated 9 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
- A compiler from Purescript to Python☆43Updated 9 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆136Updated 4 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆91Updated 6 years ago
- The Ntha Programming Language☆93Updated 8 years ago
- ☆207Updated 6 years ago
- Asteroids for a web browser, in PureScript☆43Updated 10 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- A combinator library for generating markup☆89Updated 3 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- λtext - higher-order file applicator☆36Updated 10 months ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆140Updated 3 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 4 months ago
- ☆75Updated 7 years ago
- Haskell Extensible Shell☆68Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A command-line interface description language and parser that will make you smile☆119Updated 5 months ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆218Updated 6 years ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago