rafalnowak / RaytracaHLinks
☆26Updated 10 years ago
Alternatives and similar repositories for RaytracaH
Users that are interested in RaytracaH are comparing it to the libraries listed below
Sorting:
- A port of Apache Sparks to Haskell using distributed process☆33Updated 9 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- Advent of Code 2017☆40Updated 7 years ago
- Simple example of using JDBC from Eta language☆10Updated 9 years ago
- ☆51Updated 10 years ago
- Starting from scratch to wrap D3v4☆25Updated 9 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 5 years ago
- Quick example of Eta on Android☆24Updated 8 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 6 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- A more flexible mtl☆62Updated 7 years ago
- ☆33Updated 10 years ago
- Haskell distributed stream processing with exactly-once semantics☆92Updated 11 years ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- Slides & demos for talks I do☆58Updated 4 months ago
- ☆23Updated 7 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- A streaming query language.☆57Updated 5 years ago
- A high level file watcher DSL☆41Updated 2 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated last year
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 10 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 10 years ago
- Frege + database = :-)☆16Updated 9 years ago
- 2048 in Idris☆124Updated 8 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- A library for interactively creating graphics visualizations☆22Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago