bollu / discrete-differential-geometryLinks
An elegant implementation of discrete diffgeo in haskell
☆33Updated 5 years ago
Alternatives and similar repositories for discrete-differential-geometry
Users that are interested in discrete-differential-geometry are comparing it to the libraries listed below
Sorting:
- Two-Level Type Theory☆28Updated 5 years ago
- ☆10Updated 9 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- Mathematical stories☆13Updated 4 years ago
- The Elements of Statistical Learning in Haskell☆13Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- machine fusion☆16Updated 6 years ago
- A talk☆28Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆47Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- ☆26Updated 8 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago