voidlizard / hopc
Experimental Scheme-like compiled language
☆22Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for hopc
- HN Compiler☆62Updated 5 years ago
- Wiki For Camlunity☆13Updated 9 years ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 9 years ago
- N2O in Haskell☆29Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 12 years ago
- Make rpc:calls from erlang to haskell☆17Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- TCP Realisation of Network.Transport☆30Updated 2 months ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- A typed logic programming language embedded in Haskell☆49Updated 11 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- A Lisp syntax for Haskell.☆22Updated 12 years ago
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆80Updated 4 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Updated 14 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Control.Effects☆19Updated 5 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago