haskell / math-functions

Related projects ⓘ

Alternatives and complementary repositories for math-functions

• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆37Updated last month
• scmu / mrm
  Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
  ☆9Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 2 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• konn / sdg-agda
  Synthetic Differential Geometry in Agda
  ☆12Updated 9 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last year
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 9 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆71Updated 7 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago