nponeccop / HNC
HN Compiler
☆62Updated 5 years ago
Related projects: ⓘ
- N2O in Haskell☆29Updated 8 years ago
- ⭕️ N2O: Haskell Application Server☆47Updated 2 years ago
- ☆13Updated this week
- ☆190Updated this week
- Experimental Scheme-like compiled language☆22Updated 12 years ago
- ☆41Updated 9 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- 🧊 Чиста система з всесвітами☆144Updated 2 months ago
- ☆30Updated 6 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 7 years ago
- Proof theory seminar☆33Updated 3 years ago
- 🧊 Інститут формальної математики☆35Updated 5 months ago
- Provably correct implementation of insertion sort in Idris.☆28Updated 3 years ago
- ☆13Updated this week
- SC Mini is a "minimal" positive supercompiler☆47Updated 3 years ago
- Functional languages index☆42Updated 4 years ago
- ☆63Updated this week
- ☆25Updated 3 months ago
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆79Updated 4 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 7 years ago
- This is an umbrella development repository for Cloud Haskell☆72Updated 5 years ago
- playground for working with succinct data structures☆94Updated 8 years ago
- Yer another array library☆41Updated 6 years ago
- Experiments in Idris / Unity integration.☆49Updated 7 years ago
- Idris parser and serializer/deserealizer for TL language☆9Updated 5 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Bread Unit calculator☆33Updated 5 years ago
- STM on Free monads☆23Updated 6 years ago