discrete-mathematics
Discrete math project
A computational approach to studying discrete mathematics using Haskell
A computational way to study discrete mathematics using Haskell
72 stars
6 watching
5 forks
Language: Haskell
last commit: over 7 years agocomputer-sciencediscrete-mathematicshaskellmathematics
Related projects:
| Repository | Description | Stars |
|---|---|---|
| ryukinix/lisp-chat | An experimental, minimalist chat written in Common Lisp using sockets for communication | 173 |
 ryuk17/machinelearning | This is a collection of machine learning algorithms implemented in Python 3.6. | 103 |
 coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 69 |
 yuki-koyama/mathtoolbox | A collection of mathematical tools and algorithms for data analysis and optimization. | 266 |
 tonyday567/numhask | A Haskell numeric prelude providing a structured approach to numbers and operations. | 69 |
 kowainik/learn4haskell | An educational project that teaches Haskell programming concepts in four modules through coding exercises and mentorship. | 1,011 |
 billpmurphy/hask | A Python library that mimics key features of the Haskell programming language. | 862 |
 diffusionkinetics/open | A monorepo of Haskell projects focused on data science and machine learning | 116 |
 ocramz/sparse-linear-algebra | Provides a platform for scientific computation in Haskell with focus on linear algebra and numerical analysis | 89 |
 cpmech/russell | A comprehensive library of numerical and mathematical functions for high-performance computations in various fields. | 118 |
 winterland1989/magic-haskell | A collection of Haskell examples and tutorials covering various programming concepts | 294 |
 granule-project/granule | A statically-typed functional programming language with fine-grained program reasoning capabilities | 593 |
 dnikolovv/practical-haskell | A collection of practical examples and snippets to help developers use Haskell in real-world scenarios. | 84 |
 serras/lambdaconf-2015-web | A Haskell web workshop project providing exercises and resources for learning web development with Haskell | 63 |
 jvranish/minikanrent | An implementation of logic programming concepts in Haskell | 76 |