Alternatives and similar repositories for communex:

Users that are interested in communex are comparing it to the libraries listed below

• commune-ai / subspace
  commune-ai blockchain node
  ☆13Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 9 months ago
• steinerkelvin / rustie-ts
  Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
  ☆11Updated 3 months ago
• HigherOrderCO / kindbook
  ☆44Updated last month
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆22Updated last year
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 2 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆153Updated this week
• renlabs-dev / synthia
  Commune's synthetic data generation subnet
  ☆12Updated last month
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆42Updated 6 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated last year
• Gadersd / ic
  An interaction combinator runtime
  ☆15Updated 4 months ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆35Updated 11 months ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆117Updated last year
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆29Updated this week
• matteo-meluzzi / agda2hvm
  ☆13Updated last year
• VictorTaelin / kind-ai
  ☆23Updated 2 years ago
• HigherOrderCO / bend-language-server
  Language server for the Bend programming language
  ☆13Updated 4 months ago
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated last year
• ligolang / ligo
  ☆12Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆73Updated 5 months ago
• lffg / fdb
  A simple (and unfinished!!) database management system.
  ☆18Updated last year
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated last year
• macrocosm-os / pretraining
  Pretraining
  ☆21Updated this week
• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆12Updated 2 years ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆47Updated 2 years ago
• commune-ai / commune
  Commune Repo
  ☆89Updated this week
• cloudwalk / stratus
  An EVM compatible blockchain using rocksdb as storage. It was written for performance, suited for in house use.
  ☆135Updated this week