Alternatives and similar repositories for awesome-cornell

Users that are interested in awesome-cornell are comparing it to the libraries listed below

• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• TrevorEdwards / bigredapp-android
  Informational Android app for Cornell University.
  ☆14Updated 7 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆95Updated last year
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• sdulal / cs-exams-downloader
  Quickly download past CS exams with solutions!
  ☆22Updated 9 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• akabe / ocaml-numerical-analysis
  Stand-alone programs for numerical analysis in OCaml
  ☆47Updated 10 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆376Updated last year
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆216Updated 2 weeks ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• ocaml / tuareg
  Emacs OCaml mode
  ☆376Updated 3 months ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆101Updated 5 years ago
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆63Updated 6 years ago
• janestreet / ecaml
  Writing Emacs plugin in OCaml
  ☆272Updated 2 weeks ago
• ocaml / ocaml-ci-scripts
  Skeletons for CI scripts
  ☆101Updated 2 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 4 years ago
• LaifsV1 / YUP
  YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…
  ☆36Updated 2 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• c4cs / c4cs.github.io
  Course Homepage for Computing for Computer Scientists
  ☆47Updated 5 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• AdilVirani / LaTeX-Guide
  Learn how to write amazing documents and resumes using LaTex
  ☆32Updated 9 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• LexiFi / dead_code_analyzer
  Dead-code analyzer for OCaml
  ☆89Updated 5 months ago
• LaurentMazare / tensorflow-ocaml
  OCaml bindings for TensorFlow
  ☆284Updated 5 years ago
• ssomayyajula / refinery
  A proof assistant for refinement logics
  ☆8Updated 6 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆16Updated 8 years ago