etnt / HaskerlLinks
Haskell subset compiled to the Beam machine.
☆42Updated 11 years ago
Alternatives and similar repositories for Haskerl
Users that are interested in Haskerl are comparing it to the libraries listed below
Sorting:
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Erlang flavored by Some ML☆36Updated 13 years ago
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- Erlang to Scheme compiler☆40Updated 13 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- 🧊 Методологія верифікації теорем☆93Updated 3 months ago
- A tool to automatically convert Hex packages to the Nix Expression format☆32Updated 5 years ago
- An opinionated OTP framework wrapper☆26Updated 10 months ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- 🧊 Чиста система з всесвітами☆148Updated 6 months ago
- Parsec-style parsing for Erlang☆32Updated 14 years ago
- Communicate with Erlang node from Haskell☆13Updated 4 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 10 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Erlang Backend for Idris Compiler☆187Updated 8 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 3 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- PureScript Erlang hello world☆13Updated 7 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 11 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- Lol — Lisp on erLang, and programming is fun again☆51Updated 11 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆17Updated 10 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 9 years ago