groupoid / henkLinks
🧊 Чиста система з всесвітами
☆147Updated 2 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
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- N2O in Haskell☆29Updated 9 years ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Generate Erlang VM byte code from Haskell☆169Updated 9 months ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 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
- Erlang code generator for Idris 2☆142Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆162Updated 6 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- A bibliography on Gradual Typing☆251Updated last year
- 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
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- 🧊 Методологія верифікації теорем☆93Updated 2 weeks ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- A small implementation of type inference☆80Updated 10 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- A bittorrent client written in Haskell☆235Updated 8 years ago
- 🧊 Презентації та воркшопи☆20Updated 2 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- HN Compiler☆61Updated last week