Alternatives and similar repositories for hiphop

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

• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• manuel-serrano / hop
  Multitier JavaScript
  ☆152Updated 2 months ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆63Updated 2 months ago
• darius / cant
  A programming argot
  ☆58Updated last year
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• LivelyKernel / lively4-core
  A Self-supporting, Web-based Development Environment
  ☆83Updated this week
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆220Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆18Updated 6 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆19Updated 9 years ago
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆44Updated 15 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆24Updated 10 years ago
• ktakashi / sagittarius-scheme
  Official Sagittarius Scheme repository
  ☆51Updated this week
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 8 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆43Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆48Updated 2 years ago
• jrincayc / r7rs-pico-spec
  Pico version of revised⁷ report on the algorithmic language scheme
  ☆31Updated 6 months ago
• LeifAndersen / racket-to-c
  ☆29Updated 10 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago