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

• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 6 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆183Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• agda / cubical
  An experimental library for Cubical Agda
  ☆478Updated last month
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆591Updated 5 months ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆301Updated 2 months ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆93Updated 4 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆580Updated 3 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆153Updated last week
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆151Updated last week
• haskell / core-libraries-committee
  ☆99Updated last week
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆343Updated 2 weeks ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆253Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆455Updated 4 years ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆205Updated last week
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆439Updated last week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆139Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated last week
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆140Updated last month
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆226Updated last year
• UnkindPartition / tasty
  Modern and extensible testing framework for Haskell
  ☆649Updated 3 weeks ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆323Updated last week
• haskell / bytestring
  An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
  ☆296Updated last month
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆377Updated 2 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆254Updated 2 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆301Updated 5 months ago