walck / learn-physics
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
☆178Updated 2 years ago
Alternatives and similar repositories for learn-physics:
Users that are interested in learn-physics are comparing it to the libraries listed below
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆150Updated 7 months ago
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- The Quantum IO Monad, implemented in Haskell☆102Updated last year
- A course-worth of notes☆202Updated 10 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆188Updated 10 months ago
- Algorithms from AIMA in Haskell☆332Updated 7 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 9 months ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆214Updated 3 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- Low-dimensional linear algebra primitives for Haskell.☆208Updated 2 months ago
- Numerical computation in native Haskell☆91Updated 4 years ago
- High performance, regular, shape polymorphic parallel arrays.☆140Updated 3 months ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆178Updated 7 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- Diagrams standard library☆139Updated 2 months ago
- Linear algebra and numerical computation☆390Updated 10 months ago
- CQL: Categorical Query Language implementation in Haskell☆170Updated 2 years ago
- a collection of cellular automata written in Haskell with Diagrams☆188Updated 5 years ago
- Collection of Idris tests and demonstration programs☆191Updated 7 years ago
- Haskell bindings for Python's Matplotlib☆86Updated last year
- Source for personal blog.☆77Updated last month
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 7 months ago
- Slides from talks that I give☆294Updated last year
- Numerical is the core library for Numerical Haskell☆137Updated 10 months ago
- Functional data science☆140Updated 3 years ago
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago