manuel-serrano / hiphop

Related projects ⓘ

Alternatives and complementary repositories for hiphop

• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 4 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆58Updated 2 months ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 7 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆104Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• manuel-serrano / hop
  Multitier JavaScript
  ☆144Updated this week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆35Updated 2 years ago
• racket / draw
  ☆18Updated 3 weeks ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆69Updated 13 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆76Updated 2 years ago
• sschauss / wracket
  Lisp-like language to WebAssembly build with racket
  ☆22Updated 6 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆57Updated 4 years ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• joshmarinacci / filament-gui
  ☆17Updated 2 years ago
• janestreet / parsexp
  S-expression parsing library
  ☆34Updated 3 months ago
• darius / cant
  A programming argot
  ☆58Updated 7 months ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆60Updated 2 years ago