Alternatives and similar repositories for cmsc330

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

• 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…
  ☆13Updated 5 years ago
• anwarmamat / cmsc330fall20
  ☆34Updated 4 years ago
• umddb / cmsc424-fall2021
  ☆9Updated 2 years ago
• cmsc320 / spring2021
  Assignments for CMSC320 during the Spring 2021 Semester
  ☆9Updated 4 years ago
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• anwarmamat / java_concurrency
  ☆17Updated 3 years ago
• koksal / tps
  Temporal Pathway Synthesizer
  ☆17Updated 11 months ago
• chen0040 / pyalgs
  Package pyalgs implements algorithms in Robert Sedgwick's Algorithms using Python
  ☆12Updated 5 years ago
• anwarmamat / cmsc330spring21
  ☆23Updated 4 years ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆21Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last month
• kaizhang / bioinformatics-toolkit
  A collection of bioinformatics algorithms
  ☆12Updated 2 years ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• momohatt / min-caml-jvm
  A tiny OCaml compiler with JVM backend 🐫☕️
  ☆11Updated 6 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆164Updated 4 years ago
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• anwarmamat / cmsc330fall19public
  ☆21Updated 5 years ago
• feiwang3311 / Lantern
  ☆170Updated 4 years ago
• bredelings / BAli-Phy
  Bayesian co-estimation of phylogenies and multiple alignments via MCMC
  ☆47Updated last week
• roohitavaf / DKVF
  ☆10Updated 4 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• kgeorgiy / okasaki
  Solutions for Okasaki's "Purely functional data structures" book
  ☆45Updated 11 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆195Updated last week
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 5 years ago
• MarisaKirisame / Coq_code
  ☆10Updated 8 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago