nponeccop / HNCLinks
HN Compiler
☆62Updated 6 years ago
Alternatives and similar repositories for HNC
Users that are interested in HNC are comparing it to the libraries listed below
Sorting:
- N2O in Haskell☆29Updated 9 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- 🧊 Чиста система з всесвітами☆147Updated this week
- ☆41Updated 10 years ago
- ☆30Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- 🧊 Інститут формальної математики☆35Updated this week
- Model-view-controller☆64Updated 2 years ago
- Experimental Scheme-like compiled language☆22Updated 13 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- playground for working with succinct data structures☆97Updated 9 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- JVM implementation in Haskell☆44Updated 8 months ago
- 2048 in Idris☆122Updated 7 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Proof theory seminar☆35Updated 4 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago