Alternatives and similar repositories for inet-js:

Users that are interested in inet-js are comparing it to the libraries listed below

• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆133Updated last month
• zachgk / catln
  A high-level programming language
  ☆38Updated 3 weeks ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆103Updated this week
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆27Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆72Updated 5 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆97Updated this week
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 3 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 7 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 9 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated this week
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆168Updated this week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆285Updated 3 months ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 5 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 8 months ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated 2 weeks ago
• dghosef / qdbp
  ☆51Updated 5 months ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆29Updated 9 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated 2 months ago