discrete-mathematics
by ryukinix
A computational way to study discrete mathematics using Haskell
AI summary
Discrete math project
A computational approach to studying discrete mathematics using Haskell
- stars
- 72
- forks
- 5
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Chat program
An experimental, minimalist chat written in Common Lisp using sockets for communication
ML library
This is a collection of machine learning algorithms implemented in Python 3.6.
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Math tools
A collection of mathematical tools and algorithms for data analysis and optimization.
Number library
A Haskell numeric prelude providing a structured approach to numbers and operations.
Haskell tutorial
An educational project that teaches Haskell programming concepts in four modules through coding exercises and mentorship.
Haskell simulator
A Python library that mimics key features of the Haskell programming language.
Data Science Toolkit
A monorepo of Haskell projects focused on data science and machine learning
Numerical library
Provides a platform for scientific computation in Haskell with focus on linear algebra and numerical analysis
Math library
A comprehensive library of numerical and mathematical functions for high-performance computations in various fields.
Haskell tutorials
A collection of Haskell examples and tutorials covering various programming concepts
Linear language
A statically-typed functional programming language with fine-grained program reasoning capabilities
Haskell tutorials
A collection of practical examples and snippets to help developers use Haskell in real-world scenarios.
Haskell web workshop
A Haskell web workshop project providing exercises and resources for learning web development with Haskell
logic programming library
An implementation of logic programming concepts in Haskell
