voidlizard / hopcLinks
Experimental Scheme-like compiled language
☆22Updated 13 years ago
Alternatives and similar repositories for hopc
Users that are interested in hopc are comparing it to the libraries listed below
Sorting:
- HN Compiler☆62Updated 6 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- 🧊 Чиста система з всесвітам и☆147Updated this week
- 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
- N2O in Haskell☆29Updated 9 years ago
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages☆53Updated 14 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- CAching Datastructure For Applications in ERLang☆21Updated 13 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- 🧊 Методологія верифікації теорем☆93Updated this week
- Snapshot of the gen_paxos repo (now missing)☆30Updated 14 years ago
- TCP Realisation of Network.Transport☆29Updated 9 months ago
- This repository has been moved to https://gitlab.com/twittner/zeromq-haskell☆138Updated 9 years ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 9 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- Erlang VM reimplementation in Haskell☆20Updated 10 years ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated 4 months ago
- HTTP Routing mechanism☆24Updated 13 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Updated 15 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 6 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆18Updated 9 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago