Alternatives and similar repositories for CSE232-2021-09

Users that are interested in CSE232-2021-09 are comparing it to the libraries listed below

• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 3 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• dfithian / dfdb
  Write my own database from scratch
  ☆18Updated 3 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 7 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆100Updated last week
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated last year
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆62Updated last year
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆119Updated 3 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆174Updated 4 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆130Updated last month
• ZHaskell / z-io
  IO lib for haskell
  ☆99Updated last year
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 10 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆107Updated 3 weeks ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆206Updated last week
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 2 years ago
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 4 years ago
• ZHaskell / z-data
  array, slices and text
  ☆70Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated 3 months ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 9 months ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆90Updated 4 months ago
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆175Updated 6 months ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆79Updated 2 years ago
• facebookincubator / hsthrift
  The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…
  ☆159Updated this week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆113Updated 2 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆61Updated 3 months ago