Alternatives and similar repositories for beany:

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

• jessicalally / hello-world
  ☆9Updated 5 years ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆16Updated this week
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆73Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 8 months ago
• rjrudman / penpa-edit
  Forked from https://github.com/opt-pan/penpa-edit to provide English translations
  ☆13Updated 3 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated 2 months ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• bradfitz / jndi
  a irresponsibly bad logging library
  ☆268Updated 3 years ago
• kade-robertson / haystack
  a 2d esoteric programming language
  ☆26Updated 7 years ago
• bary12 / Nikud
  A Stack-Based programming language, using Hebrew Niqqud diacritical marks
  ☆14Updated 2 years ago
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 6 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆9Updated 3 years ago
• josef-jelinek / acube
  Rubik's Cube solver for fully and/or partially defined cubes
  ☆28Updated 6 years ago
• bakkot / dfa-lib
  JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.
  ☆19Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆127Updated 6 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆109Updated 9 months ago
• ccz181078 / Coq-BB5
  ☆191Updated 2 weeks ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• Mego / Seriously
  A golfing language that is probably terrible
  ☆84Updated 10 months ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆16Updated 6 months ago
• lmendo / MATL
  A programming language based on MATLAB and suitable for code golfing
  ☆115Updated last year
• addisoncrump / Vitsy
  Vitsy Programming Language, WIP
  ☆10Updated 8 years ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated last week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• anli5005 / BetterSchoology
  macOS app that offers a better Schoology experience.
  ☆11Updated 3 years ago
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆81Updated 2 years ago