Alternatives and similar repositories for trompe

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

• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆21Updated 5 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆65Updated 7 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 6 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 6 years ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 3 months ago
• faiface / funky
  the best functional language ever
  ☆40Updated 6 years ago
• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Updated last month
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆63Updated 6 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 8 years ago
• darioteixeira / rip
  RIP (REST in Peace) is a simple framework for building RESTful servers in OCaml
  ☆29Updated 2 years ago
• jemc / ponycc
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Updated 5 years ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 10 years ago
• jemc / pony-zmq
  Pure Pony implementation of the ZeroMQ messaging library.
  ☆65Updated 3 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆31Updated 5 years ago
• DeedleFake / wdte
  WDTE is a simple, functional-ish, embedded scripting language.
  ☆22Updated 3 months ago
• ajsnow / kaleidoscope
  Golang Port of LLVM's Kaleidoscope Tutorial
  ☆29Updated 10 years ago
• Champii / og
  Oglang - Language that compiles to Golang
  ☆96Updated 7 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆37Updated 9 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆32Updated 5 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆43Updated 2 years ago
• dbuenzli / jsonm
  Non-blocking streaming JSON codec for OCaml
  ☆48Updated last year
• jaked / ooauth
  OAuth in OCaml
  ☆21Updated 12 years ago
• lisael / pony-postgres
  Pure pony PostgreSQL client
  ☆15Updated 8 years ago
• zephyrtronium / iolang
  Io, the language, in Go, the language
  ☆83Updated 2 years ago
• mfp / ocaml-leveldb
  OCaml bindings for Google's LevelDB
  ☆44Updated 4 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 11 years ago
• mfp / obigstore
  obigstore: database with BigTable-like data model atop LevelDB
  ☆43Updated 8 years ago
• fxfactorial / ocaml-graphql
  OCaml implementation of Facebook's graphql, library and server.
  ☆21Updated 9 years ago
• psurply / mara
  A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.
  ☆12Updated 9 years ago
• mirage / ocaml-lazy-trie
  Lazy prefix trees in OCaml
  ☆22Updated 5 years ago