Alternatives and similar repositories for trompe

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

• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆63Updated 7 years ago
• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆21Updated 4 years ago
• tcard / functional
  Functional programming library for Go including a lazy list implementation and some of the most usual functions.
  ☆32Updated 12 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 7 years ago
• moesol / pony-advent-2016
  Advent of Code 2016 implemented in the Pony Language
  ☆11Updated 8 years ago
• riaken / riaken-core
  Go Protocol Buffer driver for the Riak distributed database
  ☆31Updated 9 years ago
• KMahoney / kuljet
  The Kuljet language
  ☆25Updated 4 months ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 10 years ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 6 months ago
• lisael / pony-postgres
  Pure pony PostgreSQL client
  ☆15Updated 7 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 5 years ago
• ygrek / ocaml-zstd
  OCaml bindings to Zstandard (http://zstd.net)
  ☆21Updated last year
• Denommus / LuaOCaml
  A lua parser in OCaml
  ☆10Updated 4 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆33Updated 4 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆36Updated 9 years ago
• ocaml-attic / opam-dockerfiles
  Docker base builds of OPAM in various combinations
  ☆34Updated 7 years ago
• hanazuki / miniml
  Tiny ML interpreter
  ☆16Updated 11 years ago
• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆32Updated 3 months ago
• mfp / ocaml-leveldb
  OCaml bindings for Google's LevelDB
  ☆44Updated 3 years ago
• jemc / ponycc
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Updated 4 years ago
• zac-garby / radon
  A programming language.
  ☆22Updated 3 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• ajsnow / kaleidoscope
  Golang Port of LLVM's Kaleidoscope Tutorial
  ☆29Updated 10 years ago
• yutopp / obeam
  [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
  ☆16Updated 5 years ago
• brick-lang / kekka
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆14Updated 4 years ago
• mna / specter
  a (tiny) VM project built with Go
  ☆59Updated 8 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• DeedleFake / wdte
  WDTE is a simple, functional-ish, embedded scripting language.
  ☆21Updated 2 years ago