manuel-serrano / hiphop

Related projects ⓘ

Alternatives and complementary repositories for hiphop

• manuel-serrano / hop
  Multitier JavaScript
  ☆143Updated this week
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• joshmarinacci / filament-gui
  ☆17Updated 2 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 5 months ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆20Updated last week
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 7 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• racket / draw
  ☆17Updated last week
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• janestreet / parsexp
  S-expression parsing library
  ☆34Updated 2 months ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆29Updated 3 years ago
• lexi-lambda / envy
  An environment variable manager for Racket applications
  ☆17Updated last year
• stchang / mlish
  ☆21Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆58Updated 2 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆103Updated last year
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• darius / cant
  A programming argot
  ☆58Updated 7 months ago
• florence / reactor
  An embedded synchronous reactive language, a la reactiveML, for Racket.
  ☆13Updated 5 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆57Updated 4 years ago