Alternatives and similar repositories for inet-lib:

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

• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆25Updated last week
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 7 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆13Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• losfair / FlatRv
  A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.
  ☆24Updated 2 years ago
• JohnDowson / rotth
  Rotth is a stack based concatenative language highly inspired by Porth
  ☆16Updated 9 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 8 months ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆26Updated 6 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• euschn / ingpu
  GPU-based interaction nets evaluator
  ☆15Updated 13 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 8 months ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated this week
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆14Updated 5 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• TheDan64 / limonite
  [WIP] Compiler for the Limonite programming language.
  ☆14Updated 2 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆34Updated 5 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 4 months ago