manuel-serrano / hop

Related projects ⓘ

Alternatives and complementary repositories for hop

• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆58Updated last year
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆104Updated last year
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆141Updated this week
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆130Updated last year
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆111Updated 2 months ago
• daaku / dak
  Dak is a Lisp like language that transpiles to JavaScript.
  ☆94Updated 5 months ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆58Updated 2 months ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆34Updated last year
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆171Updated last year
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆125Updated last year
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 3 months ago
• jaredly / jerd
  ☆36Updated 3 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆31Updated 5 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆27Updated 2 years ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆28Updated 4 months ago
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• stchang / macrotypes
  ☆135Updated 2 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 4 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆134Updated this week
• JacksonKearl / PrattParse
  Pratt parser builder in TypeScript (along with simple tokenizer)
  ☆14Updated last year
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆181Updated 10 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆212Updated 2 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• abrudz / ngn-apl
  An APL interpreter written in JavaScript. Runs in a browser or NodeJS.
  ☆54Updated 5 months ago
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆145Updated last month
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated 10 months ago
• janestreet / parsexp
  S-expression parsing library
  ☆34Updated 3 months ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆142Updated 2 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆92Updated last year