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 4 months ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆148Updated 6 months ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆187Updated 8 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 13 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 11 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆68Updated last year
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 11 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 7 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• groupoid / axio
  🧊 Методологія верифікації теорем
  ☆93Updated 4 months ago
• jaked / ocamljs
  Javascript back-end for OCamlc
  ☆135Updated 15 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆46Updated 8 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Updated 9 months ago
• massung / parsec
  Parsec-style parsing for Erlang
  ☆33Updated 14 years ago
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 7 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 8 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 3 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• joedevivo / erlang-haskell-interface
  Make rpc:calls from erlang to haskell
  ☆17Updated 10 years ago
• jerlang / jerlang
  Erlang/OTP on the Java Virtual Machine (JVM)
  ☆33Updated 2 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 10 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆52Updated 9 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆50Updated 5 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆46Updated 3 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 10 years ago