Alternatives and similar repositories for cmsc330fall20

Users that are interested in cmsc330fall20 are comparing it to the libraries listed below

• anwarmamat / cmsc330
  ☆17Updated last year
• AkiPraveen / 216-notes
  Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…
  ☆14Updated 5 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• cs3157 / recitations
  Recitation notes for cs3157, the C systems programming course with a narrative
  ☆301Updated 3 years ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆205Updated 4 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• anwarmamat / cmsc330fall19public
  ☆21Updated 6 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 4 months ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆205Updated this week
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆126Updated 2 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 8 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆92Updated 3 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆154Updated this week
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated this week
• steshaw / playground
  👨🏻‍🎓 Playground for learning programming languages
  ☆26Updated 8 months ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 5 months ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆188Updated 6 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• correlation-one / C1GamesStarterKit
  Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.
  ☆238Updated 4 months ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• feiwang3311 / Lantern
  ☆173Updated 4 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• pabuhr / uCPP
  concurrency for C++
  ☆162Updated last month
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated last year
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆167Updated last year