Alternatives and similar repositories for beany:

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

• finwarman / kcl-timetable
  Utilities in Python3 to fetch the KCL Timetable for a user, or export it as iCalendar (*.ics for Google or Apple)!
  ☆14Updated 4 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆180Updated 3 years ago
• HexHive / printbf
  Brainfuck interpreter inside printf
  ☆650Updated 3 years ago
• TomWildenhain / MagicPNG
  Merge two PNG images into one utilizing transparency
  ☆156Updated 7 years ago
• prologin / stechec2
  Client-server AI match maker used for the French national programming contest Prologin
  ☆16Updated last year
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• rjrudman / penpa-edit
  Forked from https://github.com/opt-pan/penpa-edit to provide English translations
  ☆13Updated 3 years ago
• Adam-Alani / EpiClass
  A better Chronos
  ☆10Updated 3 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 8 months ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆165Updated this week
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated last week
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆86Updated 6 years ago
• cies / haskell-fractal
  Haskell example: A simple fractal image renderer
  ☆39Updated 10 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 7 months ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆15Updated 12 years ago
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆13Updated 5 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• a-vorontsov / git-gud
  ☆14Updated 5 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆282Updated last month
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated last month
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated last week
• charlieturner / square-sum-sequences
  To check whether runs of numbers can be organised into sequences where every consecutive pair of numbers adds to a square. And plot the r…
  ☆44Updated 7 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• Girjoaba / Eunomia
  An educational tool for analyzing the correctness of Fitch Proofs.
  ☆9Updated last year