Alternatives and similar repositories for sharc

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

• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆263Updated last year
• PokeJofeJr4th / DreamBerd-rs
  Rust-based interpreter for the DreamBerd (https://github.com/TodePond/DreamBerd) language
  ☆53Updated last year
• tsoding / bada
  Simple Programming Language that compiles to BEAM bytecode
  ☆72Updated last year
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆20Updated last year
• leddoo / kibi
  ☆37Updated 2 years ago
• lilyyy411 / rust-type-fuckery
  experiments with the Rust type system, including a type-level brainfuck implementation
  ☆36Updated 11 months ago
• kast-lang / kast
  An experimental programming language
  ☆73Updated 2 weeks ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆61Updated 2 months ago
• tsoding / zigout
  An attempt to implement breakout in Zig
  ☆63Updated 2 years ago
• alex-s168 / uiuac
  compiler for the uiua array language
  ☆11Updated last month
• justanothercell / kommando
  kommando programming language
  ☆11Updated 3 months ago
• samarium-lang / Samarium
  The Samarium Programming Language
  ☆32Updated 9 months ago
• nullishamy / kate
  A JVM written in Rust.
  ☆34Updated 11 months ago
• tsoding / bfjit
  JIT Compiler for Brainfuck
  ☆175Updated last year
• tsoding / tula
  Turing Language
  ☆207Updated last year
• HavenSelph / rattlescript
  An interpreted language written in Rust.
  ☆17Updated 2 years ago
• todaymare / azurite
  an interpreted programming language allowing you to express your thoughts in a clean and expandable code without a second thought
  ☆13Updated 2 years ago
• tsoding / Crust
  Rust that is actually Fun
  ☆293Updated 5 months ago
• tsoding / guess
  Guess a Number in Rust. Implemented to Prove that Game Development is feasible in Rust.
  ☆40Updated last year
• atlas77-lang / atlas77
  Atlas77 is a programming language in development written in Rust
  ☆22Updated last month
• tsoding / pastebeam
  TCP-only pastebin-like service with Proof-of-Work
  ☆54Updated 2 weeks ago
• vmfunc / cargo-buttplug
  ensuring positive reinforcement during long, tiring code sessions~
  ☆110Updated last year
• sin-ack / papertoy
  Run a Shadertoy-compatible shader as an animated wallpaper on Wayland
  ☆96Updated 2 months ago
• tsoding / donate
  Support Tsoding
  ☆71Updated 10 months ago
• trnxdev / zigd
  Stop switching zig versions by yourself.
  ☆11Updated 7 months ago
• AbleCorp / able-script
  ☆25Updated 3 years ago
• EvanZhouDev / TheDonutProject
  Making donut.c in every language.
  ☆124Updated 6 months ago
• tsoding / conway
  Conway's Game of Life implementation in C formatted as Glider
  ☆52Updated last year
• orbit-systems / aphelion
  64-bit RISC CPU Architecture
  ☆21Updated 3 weeks ago
• cull-os / carcass
  The Cull monorepository.
  ☆148Updated this week