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.
  ☆132Updated 2 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• zachgk / catln
  A high-level programming language
  ☆38Updated last month
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆27Updated 2 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 6 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 4 months ago
• dghosef / qdbp
  ☆52Updated 6 months ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆100Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆97Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆37Updated 2 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆65Updated last month
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆293Updated 4 months ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 10 months ago
• fsantanna / dceu
  ☆29Updated 5 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 2 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago