Alternatives and similar repositories for trompe

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

• faiface / funky
  the best functional language ever
  ☆40Updated 6 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆64Updated 7 years ago
• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆21Updated 4 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆138Updated 6 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 6 years ago
• DeedleFake / wdte
  WDTE is a simple, functional-ish, embedded scripting language.
  ☆21Updated last week
• Champii / og
  Oglang - Language that compiles to Golang
  ☆97Updated 6 years ago
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆62Updated 5 years ago
• darioteixeira / rip
  RIP (REST in Peace) is a simple framework for building RESTful servers in OCaml
  ☆30Updated last year
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 10 years ago
• kzh / lyca
  programming language compiler w/ llvm
  ☆13Updated 7 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 7 years ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 8 months ago
• lisael / pony-postgres
  Pure pony PostgreSQL client
  ☆15Updated 8 years ago
• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Updated last month
• jemc / ponycc
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Updated 4 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• dleonard0 / pony-vim-syntax
  Vim syntax plugin for ponylang
  ☆30Updated 7 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
• troydm / micro
  trivial micro compiler written in OCaml
  ☆65Updated 6 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆36Updated 9 years ago
• mirage / ocaml-cow
  Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCa…
  ☆108Updated last year
• zephyrtronium / iolang
  Io, the language, in Go, the language
  ☆83Updated 2 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• dbuenzli / jsonm
  Non-blocking streaming JSON codec for OCaml
  ☆49Updated 8 months ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆32Updated 5 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆33Updated 4 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆43Updated last year
• Cumulus / Cumulus
  A friendly and minimalist link sharing website
  ☆51Updated 10 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated last year