mnieper / gravityLinks
A little book on General Relativity and Einstein–Cartan Theory
☆16Updated 11 years ago
Alternatives and similar repositories for gravity
Users that are interested in gravity are comparing it to the libraries listed below
Sorting:
- A type theory based theorem proving library☆25Updated 13 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- ☆17Updated last year
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- A Haskell number theory library.☆15Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- A Haskell library providing BLAKE2☆10Updated 2 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- lazy continued fractions☆19Updated 10 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 10 years ago
- Special mathematical functions☆43Updated last year
- Explicitly Typed exceptions as a library☆22Updated 4 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Model-view-controller☆64Updated 2 years ago
- Inline C & Objective-C in Haskell☆147Updated 8 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Disciplined Convex Programming in Haskell☆22Updated last year
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago