bamboo / IdrisUnityPlayground
Experiments in Idris / Unity integration.
☆49Updated 8 years ago
Alternatives and similar repositories for IdrisUnityPlayground:
Users that are interested in IdrisUnityPlayground are comparing it to the libraries listed below
- SDL bindings package for idris☆46Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- A very general logging effect for Haskell☆60Updated 10 months ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆30Updated 8 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 8 months ago
- A more flexible mtl☆64Updated 7 years ago
- Haskell bindings to the libui C library.☆47Updated 7 years ago
- Build tool for ATS.☆41Updated 2 years ago
- complexity testing for haskell☆48Updated 9 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- A game about exponential growth written in Haskell☆31Updated 8 years ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated 2 months ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago