Alternatives and similar repositories for hopc

Users that are interested in hopc are comparing it to the libraries listed below

• nponeccop / HNC
  HN Compiler
  ☆61Updated 2 weeks ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated last month
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆188Updated 8 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 10 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 13 years ago
• groupoid / axio
  🧊 Методологія верифікації теорем
  ☆93Updated last month
• twittner / zeromq-haskell
  This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
  ☆137Updated 9 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 9 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• mozart / mozart
  ☆80Updated 6 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 6 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Updated 4 months ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 8 years ago
• slfritchie / msgdropsim
  Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages
  ☆53Updated 14 years ago
• joedevivo / erlang-haskell-interface
  Make rpc:calls from erlang to haskell
  ☆17Updated 10 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 6 years ago
• haskell-distributed / network-transport-tcp
  TCP Realisation of Network.Transport
  ☆29Updated 10 months ago
• jerlang / jerlang
  Erlang/OTP on the Java Virtual Machine (JVM)
  ☆33Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• alavrik / piqi
  Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
  ☆245Updated 2 years ago
• streamcode9 / svg-time-series
  SVG time-series charting library
  ☆20Updated 7 months ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆150Updated 6 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago