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 last year
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 6 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• magnoahlia / emojipasta.club
  A web service that exposes RESTful endpoints for generating emojipastas, as well as a simple frontend for generating and tweeting emojipa…
  ☆8Updated 7 years ago
• adamyedidia / parsimony
  ☆339Updated 6 years ago
• ohnorobo / pokemon
  pokemon-mon-mon-mon
  ☆28Updated 8 months ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆236Updated 3 months ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆62Updated 5 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆411Updated 8 years ago
• cobalt-uoft / cobalt
  Open data APIs for interfacing with public information from the University of Toronto.
  ☆98Updated 4 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• stevenschmatz / dj-khaledify
  Chrome extension that replaces all instances of "key" to the key emoji.
  ☆10Updated 9 years ago
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆364Updated this week
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆367Updated 8 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated this week
• codeday / clear-php
  A clearinghouse for CodeDay data.
  ☆11Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• Drup / tyre
  Typed Regular Expressions
  ☆170Updated 5 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆443Updated 6 years ago
• mattxwang / robotics-club-website
  The UCC Robotics Website
  ☆9Updated 8 years ago