andyfinnell / kalerl
An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
☆12Updated 9 years ago
Alternatives and similar repositories for kalerl:
Users that are interested in kalerl are comparing it to the libraries listed below
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- an example airship app☆14Updated 8 years ago
- a language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- A programming language☆77Updated 11 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Crux Programming Language☆52Updated 2 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- N2O in Haskell☆29Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- LFE support for numbers both real and imagined☆7Updated 3 years ago
- A pragmatic, functional systems programming language.☆43Updated 9 years ago
- ☆54Updated 11 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Accepted papers for POPL 2015☆66Updated 8 years ago