Alternatives and similar repositories for hiphop

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

• joshmarinacci / filament-gui
  ☆17Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last month
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 10 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• sschauss / wracket
  Lisp-like language to WebAssembly build with racket
  ☆23Updated 7 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆33Updated 5 years ago
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• mikeaustin / kopi
  A simple, immutable, 100% asynchronous programming language
  ☆13Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆42Updated last year
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆36Updated 3 years ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆20Updated 7 months ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 2 years ago
• StrykerKKD / SandDB
  A simple immutable database for the masses.
  ☆20Updated 3 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• nukata / lisp-in-typescript
  A Common Lisp-like Lisp-1 in TypeScript with TCO and partially hygienic macros
  ☆32Updated 3 years ago