Alternatives and similar repositories for better-mff-thesis:

Users that are interested in better-mff-thesis are comparing it to the libraries listed below

• vituscze / norri
  ☆9Updated last year
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 7 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated 2 weeks ago
• maciej-bendkowski / boltzmann-brain
  Analytic sampler compiler for combinatorial systems
  ☆30Updated 2 years ago
• fossas / haskell-static-alpine
  Statically linked distributions of GHC for building binaries in Docker.
  ☆15Updated 6 months ago
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 7 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆82Updated last week
• TRCYX / py_monad_do
  Do notation in Python.
  ☆8Updated 4 years ago
• agda / agda-finite-prover
  Library for proving propositions quantified over finite sets
  ☆14Updated 2 years ago
• leftaroundabout / constrained-categories
  Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
  ☆22Updated last year
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆25Updated last month
• 0xd34df00d / hsqoi
  Haskell implementation of the QOI image format
  ☆17Updated last year
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated 2 months ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• Haskell-OpenAPI-Code-Generator / Haskell-OpenAPI-Client-Code-Generator
  Generate Haskell client code from an OpenAPI 3 specification
  ☆47Updated 3 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 4 months ago
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆48Updated 9 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆75Updated 3 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• haskell / security-advisories
  ☆49Updated last week
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆10Updated last month
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆25Updated this week
• msp-strath / cs316-functional-programming
  CS316 "Functional Programming" lecture notes
  ☆14Updated 3 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆156Updated last month
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated 2 weeks ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 4 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 4 months ago