andyfinnell / kalerl

Related projects ⓘ

Alternatives and complementary repositories for kalerl

• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 9 years ago
• cruxlang / crux
  Crux Programming Language
  ☆51Updated 2 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 12 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆41Updated 10 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• massung / parsec
  Parsec-style parsing for Erlang
  ☆32Updated 13 years ago
• lycus / flect
  A pragmatic, functional systems programming language.
  ☆42Updated 9 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated 7 months ago
• joedevivo / erlang-haskell-interface
  Make rpc:calls from erlang to haskell
  ☆17Updated 9 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 8 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• tcarstens / verlang
  ☆54Updated 11 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• NoRedInk / elm-string-extra
  Convenience functions for working with Strings in Elm.
  ☆10Updated 7 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• fernet / fernet-erl
  ☆16Updated last year
• camlunity / kamlo_wiki
  Wiki For Camlunity
  ☆13Updated 9 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆67Updated 12 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆29Updated 7 years ago