Alternatives and similar repositories for spring2021:

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

• anwarmamat / cmsc330fall20
  ☆34Updated 4 years ago
• 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 4 years ago
• umddb / cmsc424-fall2021
  ☆9Updated 2 years ago
• anwarmamat / cmsc330
  ☆17Updated last year
• kgeorgiy / okasaki
  Solutions for Okasaki's "Purely functional data structures" book
  ☆45Updated 11 years ago
• anwarmamat / cmsc330spring20
  ☆15Updated 4 years ago
• beeramtheman / 99haskell
  Live Haskell coding problems
  ☆39Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated last month
• aistrate / Okasaki
  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
  ☆35Updated 15 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 8 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 2 months ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 9 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆14Updated 7 years ago
• CindyLinz / BYOHC-Workshop
  BYOHC workshop 活動記錄
  ☆29Updated 8 years ago
• AndyShiue / Ende-readme
  Ende is a hypothetical programming language.
  ☆23Updated 4 years ago
• kekesh / CMSC451
  Course notes for CMSC 451: Design and Analysis of Algorithms
  ☆11Updated 4 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• tangentforks / FourColorTheorem
  Gonthier's formal proof of the 4-color theorem, in Coq.
  ☆11Updated 9 years ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 6 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• joom / WangsAlgorithm
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Updated 5 years ago
• vlopezj / coq-course
  Coq course at Chalmers CSE
  ☆38Updated 7 years ago
• heyzua / oregon-summer-school
  Downloads all of the lectures and most of the course materials for the various classes for the Oregon Programming Languages Summer School
  ☆9Updated 8 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago