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
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 3 months ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• ocaml / ocaml-ci-scripts
  Skeletons for CI scripts
  ☆101Updated 2 years ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆87Updated 3 years ago
• markfloryan / pdr
  A repo for a Program and Data Representation university-level course
  ☆38Updated 6 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• codex-semantics-library / codex
  The main codex repository
  ☆17Updated 5 months ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆376Updated last year
• backtracking / ocamlgraph
  OCaml graph library
  ☆236Updated 2 weeks ago
• LexiFi / dead_code_analyzer
  Dead-code analyzer for OCaml
  ☆89Updated 2 months ago
• ghilesZ / geoml
  A 2d geometry library for ocaml
  ☆35Updated 2 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• fhackett / pixy-lang
  Current work documents on the Pixy programming language
  ☆14Updated 6 years ago
• akabe / ocaml-numerical-analysis
  Stand-alone programs for numerical analysis in OCaml
  ☆47Updated 9 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• braibant / coq-tutorial-ml-tactics
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Updated 8 years ago
• ocaml-ppx / ocaml-migrate-parsetree
  DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions
  ☆86Updated last year
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated 4 months ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆126Updated last week
• hackwaly / vscode-ocaml
  An extension for VS Code which provides support for the OCaml language.
  ☆170Updated 4 years ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆111Updated last week
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated 2 months ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆42Updated last year
• satlive / website
  SAT Live! web site
  ☆11Updated 2 weeks ago
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆42Updated this week
• johnwhitington / ocamli
  OCaml interpreter
  ☆100Updated 5 years ago
• janestreet / incr_dom
  A library for building dynamic webapps, using Js_of_ocaml.
  ☆388Updated 4 months ago