Alternatives and similar repositories for ban

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

• hpmsxjtu / PHASE
  PHASE(Parallel High-performence Agent-based Simulation Environment)
  ☆9Updated 5 years ago
• iarjunsk / pic16f877a-calculator
  Calculator using LCD, seven segment and pic16f877a
  ☆13Updated 3 years ago
• manuelelucchi / Liblet.jl
  A simple library for language and compilers building
  ☆7Updated 4 years ago
• roboticslab-cseiitg / ProjectTartarus
  Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
  ☆18Updated 2 years ago
• pepsipu / ltmaOS
  unfunny cringe os that allows you to shellcode in real time
  ☆7Updated 5 years ago
• ljedrz / blc
  Binary lambda calculus
  ☆10Updated 7 years ago
• salt-die / truth_tables
  Print lovely formatted truth tables from any boolean logic expression!
  ☆10Updated 10 months ago
• pczarn / panini
  A general-purpose parser framework in Rust.
  ☆9Updated last year
• epfl-lara / nugget
  Neural-Network Guided Expression Transformation
  ☆12Updated 7 years ago
• Techno-coder / lucent
  A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
  ☆11Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• Sherif-Abdou / Checkers
  Checkers game in Python using minimax algorithm
  ☆14Updated 3 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 3 years ago
• jansol / squish-rs
  A pure Rust BC1/2/3/4/5 compressor and decompressor based on libsquish
  ☆10Updated 2 years ago
• Teascade / glerminal
  A lightweight terminal made with OpenGL
  ☆25Updated 5 years ago
• siberianbluerobin / bulk-examples-generator
  Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…
  ☆15Updated 4 years ago
• rust-bakery / nom-trace
  ☆19Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• swarm-lab / xenobots
  Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"
  ☆10Updated 4 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• NiMlr / pyfunctionbases
  A Python module to compute multidimensional arrays of evaluated (orthogonal) functions.
  ☆11Updated 6 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• QuantumBFS / YaoBase.jl
  Abstract type and interface definition for quantum circuit blocks.
  ☆17Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• naim94a / binascii-rs
  Rust implementation of useful binascii functions
  ☆10Updated 2 years ago
• kz04px / libataxx
  A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx
  ☆10Updated last year