Code for working with differential forms in context of control theory on basis of sympy
☆14Feb 25, 2019Updated 7 years ago
Alternatives and similar repositories for pycartan
Users that are interested in pycartan are comparing it to the libraries listed below
Sorting:
- Draft of NumPy paper☆10Aug 12, 2020Updated 5 years ago
- Python script to automate deploy of Chrome apps/extensions to Chrome Web Store☆12Aug 8, 2014Updated 11 years ago
- python packages for block based simulation of dynamical systems in continous time (inspired by simulink)☆15Dec 5, 2024Updated last year
- A package for anonymous authorized auditable salary reporting. Based on e-voting with blind signatures.☆12May 7, 2025Updated 9 months ago
- ☆28May 9, 2015Updated 10 years ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Feb 20, 2026Updated last week
- Geometric Algebra styled Discrete Exterior Calculus☆28Mar 19, 2020Updated 5 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- Python GUI for differential forms☆12Oct 14, 2023Updated 2 years ago
- Website for the 2021-2022 Caltech class Bi/BE/CS 183: Introduction to Computational Biology and Bioinformatics☆10Mar 11, 2022Updated 3 years ago
- Consistent Overhead Byte Stuffing — Python implementation☆49Jul 20, 2025Updated 7 months ago
- Brainstorm how to make scientific Python ecosystem faster☆11Jul 19, 2024Updated last year
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- The implementation for the paper "On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm".☆12Apr 11, 2020Updated 5 years ago
- Translation of DeepJDOT into pytorch.☆10May 31, 2021Updated 4 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 2 months ago
- Pelican theme based on Bootstrap☆11Jun 17, 2023Updated 2 years ago
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆18Feb 20, 2026Updated last week
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆11Jan 10, 2020Updated 6 years ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Photoshop CS6 Unlocked, Ed 2, file archive☆11Jul 9, 2012Updated 13 years ago
- cfid: R package for identifying counterfactuals.☆11Dec 11, 2025Updated 2 months ago
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 2 years ago
- An Interactive Force Directed Graph in D3.js☆46Feb 1, 2015Updated 11 years ago
- Adds colors to tabs..☆13Mar 30, 2018Updated 7 years ago
- A game written in node.js, HTML5 canvas, and Socket.IO.☆20Jul 22, 2017Updated 8 years ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- Short Course to get Bioinformaticians at CRUK-CI up-to-speed on Docker☆12Nov 11, 2016Updated 9 years ago
- ☆13Mar 3, 2017Updated 8 years ago
- A slightly muted light-on-dark theme for the Sphinx document generator using only CSS.☆15Jan 16, 2013Updated 13 years ago
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Jan 4, 2026Updated last month
- Optimisation on Diffeomorphisms☆12Feb 17, 2025Updated last year
- The OpenMath Content Dictionaries☆16Jun 28, 2022Updated 3 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 2 weeks ago
- ☆13Jan 29, 2021Updated 5 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago