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
• anwarmamat / cmsc330fall19public
  ☆21Updated 6 years ago
• klauso / PLT2011
  Material for the course on Programming Languages and Types at University of Marburg
  ☆15Updated 14 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 5 months ago
• pabuhr / uCPP
  concurrency for C++
  ☆163Updated last month
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• chrisgzf / nus-temp
  Script to easily submit your body temperature to NUS's temperature declaration system
  ☆17Updated 4 years ago
• ilyasergey / plt-redex-fj
  A PLT Redex implementation of Featherweight Java
  ☆17Updated 13 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 8 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆149Updated 4 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆58Updated 8 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆67Updated this week
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated last week
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆153Updated 2 months ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆77Updated 13 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 2 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last week
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆93Updated 3 weeks ago
• steshaw / playground
  👨🏻‍🎓 Playground for learning programming languages
  ☆26Updated 10 months ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• jackfischer / andreessen
  a basic web browser from scratch
  ☆18Updated 8 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 6 years ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆207Updated 4 years ago
• abdulapopoola / TADMBook
  Solutions to problems in The Algorithm Design Book
  ☆40Updated 7 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago