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
  ☆65Updated 7 years ago
• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆22Updated 5 years ago
• faiface / funky
  the best functional language ever
  ☆41Updated 6 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 6 years ago
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆63Updated 6 years ago
• troydm / micro
  trivial micro compiler written in OCaml
  ☆65Updated 6 years ago
• DeedleFake / wdte
  WDTE is a simple, functional-ish, embedded scripting language.
  ☆22Updated 4 months ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 4 months ago
• darioteixeira / rip
  RIP (REST in Peace) is a simple framework for building RESTful servers in OCaml
  ☆29Updated 2 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 8 years ago
• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Updated 2 months ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• Champii / og
  Oglang - Language that compiles to Golang
  ☆96Updated 7 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 6 years ago
• psurply / mara
  A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.
  ☆12Updated 9 years ago
• jemc / ponycc
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Updated 5 years ago
• lisael / pony-postgres
  Pure pony PostgreSQL client
  ☆15Updated 8 years ago
• tcard / functional
  Functional programming library for Go including a lazy list implementation and some of the most usual functions.
  ☆32Updated 13 years ago
• jemc / pony-zmq
  Pure Pony implementation of the ZeroMQ messaging library.
  ☆65Updated 3 years ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 11 years ago
• ajsnow / kaleidoscope
  Golang Port of LLVM's Kaleidoscope Tutorial
  ☆29Updated 11 years ago
• dbuenzli / jsonm
  Non-blocking streaming JSON codec for OCaml
  ☆48Updated last year
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 4 months ago
• jemc / pony-sodium
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Updated 3 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆37Updated 9 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆43Updated 2 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆32Updated 5 years ago
• jaked / ooauth
  OAuth in OCaml
  ☆21Updated 12 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 11 years ago
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆130Updated last month