Alternatives and similar repositories for ban:

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

• pepsipu / ltmaOS
  unfunny cringe os that allows you to shellcode in real time
  ☆7Updated 5 years ago
• 602p / orth
  Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth
  ☆10Updated 6 years ago
• pepsipu / js5005
  js5005 is a virtual CPU with every logic gate simulated. A pretty interface, a built in assembler, display, and 256 bytes of RAM to boot.…
  ☆14Updated 5 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• daelvn / ltypekit
  Advanced type checking for Lua
  ☆7Updated 5 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• mental32 / kernel
  kernel-level programming in Rust
  ☆8Updated 2 years ago
• ljedrz / blc
  Binary lambda calculus
  ☆10Updated 7 years ago
• LunaTheFoxgirl / m1racle-mutex
  Don't tell me what not to do - Mutex built on an M1 security exploit
  ☆24Updated 3 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• JoshMcguigan / nerve
  ☆17Updated 5 years ago
• Xe / minicompiler
  An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly
  ☆33Updated 4 years ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆39Updated 6 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 5 months ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• hpmsxjtu / PHASE
  PHASE(Parallel High-performence Agent-based Simulation Environment)
  ☆9Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• katef / kye
  Kye
  ☆23Updated 2 years ago
• luteberget / minisat-rs
  Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
  ☆11Updated 3 years ago
• ivandardi / RustbotPython
  A Discord bot for the Community Rust Language server, written in Python.
  ☆16Updated last year
• rk3141 / zung
  Rust programming, in hindi.
  ☆16Updated 3 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆40Updated last year
• io12 / OS
  A simple OS in C
  ☆2Updated 6 years ago