mnieper / gravity
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
- Deposited packages of the homalg project☆13Updated 4 months ago
- ☆17Updated last year
- Archived materials related to Homotopy Type Theory.☆10Updated 13 years ago
- A geometric algebra implementation in Haskell☆29Updated 4 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 3 weeks ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- Disciplined Convex Programming in Haskell☆22Updated last year
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Special mathematical functions☆41Updated last year
- Combinatorial species in HoTT☆12Updated 9 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Cohesive type theory☆19Updated 3 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- Julia embedded in Haskell☆53Updated 4 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Tools useful for customizing TeX output of Mathematica.☆10Updated 7 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago