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
  ☆64Updated 7 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 6 years ago
• faiface / funky
  the best functional language ever
  ☆40Updated 6 years ago
• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆21Updated 4 years ago
• DeedleFake / wdte
  WDTE is a simple, functional-ish, embedded scripting language.
  ☆21Updated last month
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated last month
• seantallen-org / msgpack
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Updated 2 months ago
• jemc / ponycc
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Updated 4 years ago
• lisael / pony-postgres
  Pure pony PostgreSQL client
  ☆15Updated 8 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 6 years ago
• darioteixeira / rip
  RIP (REST in Peace) is a simple framework for building RESTful servers in OCaml
  ☆30Updated last year
• Champii / og
  Oglang - Language that compiles to Golang
  ☆96Updated 6 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆38Updated 9 years ago
• jemc / pony-sodium
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Updated 3 years ago
• troydm / micro
  trivial micro compiler written in OCaml
  ☆65Updated 6 years ago
• jemc / pony-zmq
  Pure Pony implementation of the ZeroMQ messaging library.
  ☆65Updated 3 years ago
• ajsnow / kaleidoscope
  Golang Port of LLVM's Kaleidoscope Tutorial
  ☆29Updated 10 years ago
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆62Updated 6 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• andersfr / zig-lsp
  Language Server Protocol for Zig
  ☆27Updated 5 years ago
• szktty / bran
  A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
  ☆100Updated 10 years ago
• zephyrtronium / iolang
  Io, the language, in Go, the language
  ☆83Updated 2 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 7 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 11 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆42Updated 2 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
• zac-garby / radon
  A programming language.
  ☆22Updated 4 years ago
• yhirose / go-peg
  Yet another PEG (Parsing Expression Grammars) parser generator for Go
  ☆64Updated 4 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
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 8 years ago