Haskell-ITA / www_haskell-ita_it_website
www.haskell-ita.it website content
☆9Updated 3 years ago
Alternatives and similar repositories for www_haskell-ita_it_website:
Users that are interested in www_haskell-ita_it_website are comparing it to the libraries listed below
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 11 months ago
- A small profunctor library for idris☆17Updated 2 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 4 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 5 months ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- ☆40Updated 6 years ago
- List monad transformer☆60Updated 9 months ago
- Simple adjunctions☆44Updated last year
- 🐚 Out of the shell solution for scripting in Haskell☆71Updated 4 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- Julia embedded in Haskell☆53Updated 2 months ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Comma (and other) separated values☆77Updated last year
- Dual Traversable☆42Updated last year
- ☆23Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A starter-kit for the Scotty web framework☆64Updated 6 years ago
- Haskell graphs and networks library☆31Updated 2 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Examples of Eta in action.☆36Updated 6 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx☆35Updated 5 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago