Alternatives and similar repositories for bigredapp-android

Users that are interested in bigredapp-android are comparing it to the libraries listed below

• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 7 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• AndrewBelt / WiTeX
  If Donald Knuth had designed Wikipedia
  ☆375Updated 7 years ago
• cobalt-uoft / cobalt
  Open data APIs for interfacing with public information from the University of Toronto.
  ☆99Updated 5 years ago
• UW-UPL / UPLInterviewPrep
  Questions and solutions for interview prep sessions held by the UPL
  ☆52Updated 8 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• jarwino / FaceTeX
  A tool that lets you communicate in LaTeX to your friends over Facebook chat.
  ☆22Updated 9 years ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• ryanhugh / coursepro
  Easily navigate class registration data.
  ☆12Updated 8 years ago
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆61Updated 6 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆414Updated 9 years ago
• mahsu / MariOCaml
  HTML 5 canvas implementation of Mario written in Ocaml
  ☆544Updated 4 years ago
• HaliteChallenge / Halite
  @twosigma's first artificial intelligence programming challenge
  ☆200Updated 7 years ago
• sdulal / cs-exams-downloader
  Quickly download past CS exams with solutions!
  ☆22Updated 9 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆227Updated 9 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆101Updated 8 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago
• datateknik-lth / datateknik-lth
  Extentor, sammanfattningar och dylikt för Civilingenjörsprogrammet Datateknik vid LTH.
  ☆123Updated 3 years ago
• navignaw / TooManyChefs
  a text-based cooperative cooking game
  ☆52Updated 2 years ago
• sylvia43 / 3D-Graphics-From-Scratch
  3D graphics from scratch
  ☆22Updated 9 years ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 8 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆462Updated 7 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆183Updated 6 years ago
• ixchow / Preshack
  Presentation software based on nested, zoomable canvases and live code.
  ☆20Updated 8 years ago
• mbrenman / TetrisPlayground
  A final project for Advanced Machine Learning. Build bots to play against this Tetris Sandbox!
  ☆172Updated 10 years ago
• sholiday / Unofficial-Waterloo-USA-Intern-Guide
  Or: How I Learned to Stop Worrying and Love the Greenback
  ☆174Updated 3 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• mwillsey / crossbot
  A slackbot to compete on mini crosswords (or any other daily challenge).
  ☆17Updated 3 years ago