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 months ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated 5 months ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆187Updated 8 years ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 10 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆49Updated 5 years ago
• jlouis / combinatorrent
  A bittorrent client written in Haskell
  ☆234Updated 8 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 13 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• joedevivo / erlang-haskell-interface
  Make rpc:calls from erlang to haskell
  ☆17Updated 10 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆46Updated 3 years ago
• alavrik / piqi
  Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
  ☆245Updated 3 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Updated 7 months ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 7 years ago
• alexeyr / miet-haskell-course
  ☆25Updated last year
• mozart / mozart
  ☆81Updated 7 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• twittner / zeromq-haskell
  This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
  ☆137Updated 9 years ago
• jerlang / jerlang
  Erlang/OTP on the Java Virtual Machine (JVM)
  ☆33Updated 2 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 7 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆66Updated 13 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 4 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆46Updated 7 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 11 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• groupoid / axio
  🧊 Методологія верифікації теорем
  ☆93Updated 2 months ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 9 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆151Updated 6 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago