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
• mental32 / kernel
  A Unikernel For Embedded Systems
  ☆8Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆27Updated 4 years ago
• Techno-coder / lucent
  A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
  ☆11Updated 2 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 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
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• rishiosaur / idyllic
  ⚡️ An unopinionated language for building APIs ridiculously fast.
  ☆54Updated 2 years ago
• 602p / orth
  Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth
  ☆10Updated 6 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• Foremark / Foremark
  Foremark is an easy way to write a sharable, stylized text document.
  ☆21Updated 2 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• turbio / evaldb
  use your favorite language as a database
  ☆11Updated 3 months ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• calebegg / proof-pad
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆10Updated 8 months ago
• sporeball / ABCO-1
  a hardware implementation of the OISC abcout, with additional tools
  ☆10Updated 2 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆102Updated 3 years ago
• ravern / zuko
  Basic Lisp-like programming language
  ☆14Updated 4 years ago
• Xe / hlang
  The h programming language
  ☆17Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• fhaynes / palladium
  A Python-esque language meant to be used with the Iridium VM
  ☆10Updated 5 years ago
• daelvn / ltypekit
  Advanced type checking for Lua
  ☆7Updated 5 years ago
• cirosantilli / test-git-web-interface
  Tests to find bugs on Git web interfaces like GitHub, GitLab, etc. <script>alert('xss')</script>
  ☆79Updated 2 weeks ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• dmitmel / brainwhat
  A fast optimizing Brainfuck interpreter written in pure Rust
  ☆18Updated 3 years ago
• minond / brainfuck
  Brainfuck editor, interpreter, and debugger. Runs your bf code while displaying information about the program, like memory and active com…
  ☆14Updated 3 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago