OpenSourceCornell / awesome-cornell

Related projects ⓘ

Alternatives and complementary repositories for awesome-cornell

• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated last year
• TrevorEdwards / bigredapp-android
  Informational Android app for Cornell University.
  ☆14Updated 6 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆90Updated last year
• sdulal / cs-exams-downloader
  Quickly download past CS exams with solutions!
  ☆22Updated 8 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆167Updated last week
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 3 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆99Updated 5 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆376Updated last year
• ocaml / ocaml-ci-scripts
  Skeletons for CI scripts
  ☆101Updated 2 years ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆122Updated 4 months ago
• sagotch / ocveralls
  **Deprecated** bisect_ppx now have built-in coveralls.io support: https://github.com/aantron/bisect_ppx/pull/176
  ☆22Updated 6 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 9 years ago
• m2ym / ocaml-pythonlib
  OCaml library for parsing and pretty printing Python code
  ☆39Updated 9 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 8 years ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆233Updated last week
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆21Updated 9 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆65Updated last year
• plclub / lngen
  Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
  ☆30Updated last month
• rocq-archive / group-theory
  Elements of Group Theory
  ☆14Updated 4 years ago
• LexiFi / dead_code_analyzer
  Dead-code analyzer for OCaml
  ☆88Updated 5 years ago
• charguer / formalmetacoq
  Arthur's Formal Metatheory in Coq
  ☆16Updated 4 months ago
• HackIllinois / api-2018
  The back-end services supporting HackIllinois (deprecated)
  ☆13Updated 6 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆23Updated 3 months ago
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆36Updated 2 years ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆95Updated 4 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago