TrevorEdwards / bigredapp-android

Related projects: ⓘ

• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated last year
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 6 years ago
• ntratcliff / 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
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆62Updated 5 years ago
• starsalign / cramming-knowledge
  ☆31Updated this week
• PPewt / wlp4-tools
  ☆13Updated this week
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆177Updated 4 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 2 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• aarohmankad / motivation
  New Chrome tab page showing time left till midnight
  ☆8Updated 7 years ago
• sdulal / cs-exams-downloader
  Quickly download past CS exams with solutions!
  ☆22Updated 8 years ago
• aroman / pepify
  ☆28Updated this week
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• malsf21 / robotics-club-website
  The UCC Robotics Website
  ☆9Updated 7 years ago
• ohnorobo / pokemon
  pokemon-mon-mon-mon
  ☆28Updated 3 months ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 7 years ago
• arxanas / caenbrew
  The missing package manager for CAEN
  ☆18Updated 8 years ago
• UMich-EECS-resources / wiki
  The grand wiki
  ☆55Updated 9 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆92Updated 3 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 7 years ago
• AnnieZhou08 / DrawRacket4Me
  DrawRacket4Me draws trees and graphs from your code, making it easier to check if the structure is what you wanted.
  ☆44Updated 7 years ago
• 2016rshah / Tic-Hack-Toe
  TicTacToe in Haskell.
  ☆11Updated 7 years ago
• PaulFurtado / NUwave-Linux
  Script for connecting to NUwave from linux
  ☆21Updated 10 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 7 years ago
• jz-feng / greentext
  Code in memes
  ☆124Updated last year
• oskibear2015 / berkeleyeecs
  eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs ee…
  ☆31Updated 7 years ago
• LexiFi / dead_code_analyzer
  Dead-code analyzer for OCaml
  ☆89Updated 4 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 8 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆198Updated 7 years ago