rafalnowak / RaytracaHLinks
☆26Updated 9 years ago
Alternatives and similar repositories for RaytracaH
Users that are interested in RaytracaH are comparing it to the libraries listed below
Sorting:
- Advent of Code 2017☆41Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 5 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- Lambdabot for Slack☆20Updated 8 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- 2048 in Idris☆122Updated 7 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A more flexible mtl☆63Updated 7 years ago
- ☆24Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- slides for presentations I have given☆22Updated 5 years ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A port of QuickCheck to Idris☆59Updated 7 years ago
- 2048 game clone using Yampa FRP library☆36Updated 10 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- every day i'm truffling☆70Updated 4 years ago
- Eta bindings to Kafka☆15Updated 7 years ago
- The missing tutorial module for the lens library☆82Updated last year
- Slides & demos for talks I do☆58Updated 4 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 9 years ago
- Starting from scratch to wrap D3v4☆25Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 10 months ago
- ☆89Updated last year