Alternatives and similar repositories for CSCI-499-2021-Fall:

Users that are interested in CSCI-499-2021-Fall are comparing it to the libraries listed below

• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆277Updated last month
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆355Updated 3 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆353Updated this week
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆157Updated last month
• jwshii / etna
  ☆10Updated last month
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆117Updated 2 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆295Updated last year
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆581Updated 2 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆291Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆463Updated 2 weeks ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 3 months ago
• MetaCoq / metacoq
  Metaprogramming, verified meta-theory and implementation of Coq in Coq
  ☆411Updated this week
• agda / agda-stdlib
  The Agda standard library
  ☆596Updated this week
• nick8325 / quickspec
  Equational laws for free
  ☆251Updated 10 months ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆221Updated 9 months ago
• LeifAndersen / PLGradSchools
  ☆224Updated 5 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆338Updated 2 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆67Updated 9 months ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆249Updated this week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆137Updated this week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆125Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 6 months ago