groupoid / henkLinks
🧊 Чиста система з всесвітами
☆147Updated 3 months ago
Alternatives and similar repositories for henk
Users that are interested in henk are comparing it to the libraries listed below
Sorting:
- Erlang Backend for Idris Compiler☆188Updated 8 years ago
- N2O in Haskell☆29Updated 9 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A pure Haskell implementation of Datalog☆106Updated 5 years ago
- Generate Erlang VM byte code from Haskell☆169Updated 10 months ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆163Updated 6 years ago
- Js libraries for idris☆49Updated 5 years ago
- A small implementation of type inference☆80Updated 10 years ago
- 🧊 Презентації та воркшопи☆20Updated 2 months ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- HN Compiler☆61Updated last month
- Erlang code generator for Idris 2☆142Updated last year
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- A bittorrent client written in Haskell☆235Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- This is an umbrella development repository for Cloud Haskell☆71Updated 6 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago