eskriett / beany

Related projects ⓘ

Alternatives and complementary repositories for beany

• echo-webkom / echo-web-frontend
  Frontend til nettsiden til echo – Linjeforeningen for informatikk.
  ☆9Updated 2 years ago
• fimad / ggircd
  Minimal IRC server written in Go.
  ☆24Updated 3 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated last week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 10 months ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated last year
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• jessicalally / hello-world
  ☆9Updated 4 years ago
• ccz181078 / Coq-BB5
  ☆158Updated last week
• PuzzleTechHub / nutrimatic
  The source behind nutrimatic.org.
  ☆77Updated 4 months ago
• 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
• ichiban / prolog
  The only reasonable scripting engine for Go.
  ☆630Updated 3 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 4 months ago
• Wheatwizard / Klein
  Klein is a language about topology.
  ☆17Updated 7 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆76Updated 3 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 6 months ago
• kantinen / kantinfo
  a simple infoscreen system
  ☆12Updated 2 months ago
• ixchow / freiscale
  Freiscale Semicomposer -- music composition without scales
  ☆10Updated last year
• cies / haskell-fractal
  Haskell example: A simple fractal image renderer
  ☆39Updated 10 years ago
• alexj136 / HWhile
  An interpreter for the While language written in Haskell
  ☆15Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆207Updated this week
• illinois / queue
  A microservice queue for holding open office hours
  ☆82Updated 11 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated 9 months ago
• rocket3989 / worlds-2019
  ☆14Updated 5 years ago
• mhale / smtpd
  An SMTP server package written in Go, in the style of the built-in HTTP server.
  ☆408Updated last month
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Israeli Miller and Michael Kasprzak)
  ☆11Updated last month
• zmb3 / spotify
  A Go wrapper for the Spotify Web API
  ☆1,401Updated last week
• kasiopea-org / pisek
  Tool for developing tasks for programming competitions.
  ☆14Updated last week
• mwillsey / crossbot
  A slackbot to compete on mini crosswords (or any other daily challenge).
  ☆16Updated 2 years ago
• subramanian-elavathur / glitch-db
  A simple, file based key-value database I made while listening to Glitch Mob
  ☆11Updated 2 months ago