anwarmamat / cmsc330fall21

Related projects: ⓘ

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• planetterp / PlanetTerp
  a community for students at the university of maryland
  ☆40Updated 4 months ago
• umd-cmsc330 / fall2022
  ☆29Updated last year
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆72Updated 6 years ago
• anwarmamat / cmsc330fall20
  ☆35Updated 3 years ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆226Updated last week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆89Updated 6 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆292Updated last month
• coq-community / vscoq
  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
  ☆332Updated last week
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆158Updated last month
• azdavis / millet
  A language server for Standard ML.
  ☆207Updated 2 weeks ago
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆103Updated this week
• gildor478 / ounit
  ☆87Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆145Updated last week
• illinois / queue
  A microservice queue for holding open office hours
  ☆82Updated 9 months ago
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• open-source-at-illinois / cherry
  Course selection made easy
  ☆19Updated 10 months ago
• ccz181078 / Coq-BB5
  ☆151Updated 2 weeks ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆197Updated last week
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆555Updated 2 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆25Updated 11 months ago
• cmsc330fall23 / cmsc330fall23
  ☆51Updated 9 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆271Updated this week
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated last month
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 3 years ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆184Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆101Updated 3 weeks ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆646Updated 3 weeks ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆88Updated 10 months ago