Classical-Mechanics
by chris-taylor
Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
AI summary
Mechanics library
An implementation of Scheme library scmutils for classical mechanics research and teaching in Haskell
- stars
- 88
- forks
- 18
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Haskell AI library
An implementation of popular AI algorithms in the Haskell programming language
Programming guide
Collects notes and solutions to exercises from the book 'Haskell Programming from first principles'
Haskell web UI library
A set of libraries and tools for building web UI using Haskell
Haskell simulator
A Python library that mimics key features of the Haskell programming language.
Haskell library
A standard library for Haskell to provide a common foundation for production software development
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Haskell tutorials
A collection of exercises and code examples illustrating the basics of Haskell programming
Math library
A comprehensive library of numerical and mathematical functions for high-performance computations in various fields.
FSM library
A Haskell library for building type-safe finite-state machines with effects.
Haskell course
A collection of materials and resources for learning Haskell programming language
typing tutor
A well-typed typing tutor game in Haskell that utilizes complex concepts like category theory to teach programming skills.
Numerical library
Provides a platform for scientific computation in Haskell with focus on linear algebra and numerical analysis
Haskell tutorials
A collection of practical examples and snippets to help developers use Haskell in real-world scenarios.
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Site builder
A static site generator built on Shake configured in Haskell, providing tools and combinators for building websites.
