working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
☆46Jul 16, 2014Updated 11 years ago
Alternatives and similar repositories for functional-differential-geometry
Users that are interested in functional-differential-geometry are comparing it to the libraries listed below
Sorting:
- Tensor algebra utility library☆19Jan 12, 2026Updated last month
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Jan 23, 2017Updated 9 years ago
- knot theory and computational algebra software☆38Jun 16, 2014Updated 11 years ago
- SCIENTIfic coLLaborative Archive☆11Aug 3, 2015Updated 10 years ago
- High Order Markov Chains☆16Jan 24, 2023Updated 3 years ago
- Theorems, Definitions, Papers, Research☆18Jul 3, 2019Updated 6 years ago
- Lie groups and algebra with some quaternions☆19Oct 14, 2025Updated 4 months ago
- This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.☆20Jul 18, 2014Updated 11 years ago
- ☆17Sep 30, 2025Updated 5 months ago
- Tools to use in EBSD analyses (crystallography, read/write file, etc.).☆19Jul 15, 2018Updated 7 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Technology enhanced learning and assessment☆19Oct 23, 2016Updated 9 years ago
- Weak Galerkin Finite Element Method☆18Jan 13, 2014Updated 12 years ago
- The original BabyAGI, updated with LiteLLM and no vector database reliance (csv instead)☆21Oct 2, 2024Updated last year
- An optimisation method that runs on a set of abaqus models to minimise the difference (in a least square sense) between the FEA output a…☆17Apr 27, 2020Updated 5 years ago
- ☆29Updated this week
- IPython Notebook Cookbook for Deployment via Chef☆41Jan 3, 2017Updated 9 years ago
- Exploring practical possibilities of approximating functions with frames rather than with a basis☆24Jan 31, 2025Updated last year
- latexdiff helper for git☆26Feb 14, 2022Updated 4 years ago
- Automatic Differentiation for Tensor Algebras☆28May 8, 2018Updated 7 years ago
- Agile Visualization Engine for Pharo and VisualWorks☆28Apr 19, 2023Updated 2 years ago
- A set of tools to generate synthetic graphs embedded into a hyperbolic space and to test the greedy routing.☆28Jan 21, 2016Updated 10 years ago
- Computational Geometry Foundations for Finite and Boundary Element Methods☆34Feb 12, 2026Updated 3 weeks ago
- Meshing and isosurface extraction algorithms☆64Oct 10, 2024Updated last year
- A package for plotting plot.ly graphs in Wolfram Mathematica☆25Oct 26, 2014Updated 11 years ago
- SCI1022 - Introduction to scientific coding☆11Mar 7, 2022Updated 3 years ago
- Abaqus UEL and sample input files for modeling of dielectric elastomers☆14Aug 18, 2016Updated 9 years ago
- translate abaqus keyword input files to ls-dyna keyword input files☆30Oct 24, 2018Updated 7 years ago
- Source code for Crystal Plasticity Finite Element simulation program written in Fortran 90.☆31Feb 19, 2015Updated 11 years ago
- Porting of software foundations book to Agda☆39Feb 16, 2014Updated 12 years ago
- Call Mathematica from Julia☆73Mar 19, 2020Updated 5 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- FEA project for EN2340 Computational Methods in Structural and Solid Mechanics, Brown University☆35Dec 2, 2017Updated 8 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- Düsseldorf Advanced Material Simulation Kit (DAMASK) "live plotter" for Jupyter☆10May 8, 2019Updated 6 years ago
- Data Science for Petroleum Engineering - Part 5: "Transforming Excel well raw data into datasets."☆11Aug 24, 2017Updated 8 years ago