knot theory and computational algebra software
☆41Jun 16, 2014Updated 12 years ago
Alternatives and similar repositories for knotkit
Users that are interested in knotkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated 11 months ago
- Haskell library of algebraic topology☆27Sep 23, 2011Updated 15 years ago
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 6 years ago
- Python library for natural language processing☆10May 8, 2022Updated 4 years ago
- The QDP++ Framework for Lattice QCD☆20Sep 15, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10May 20, 2022Updated 4 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 9 years ago
- Mex files for METIS☆13Nov 25, 2020Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 5 years ago
- 大数中医☆14Jul 10, 2024Updated 2 years ago
- A lattice QCD library.☆17Updated this week
- Gauge Link Utility (GLU) is a lattice field theory library.☆16Aug 25, 2026Updated 3 weeks ago
- A simple script that asks all Venmo friends for a dollar.☆22Nov 9, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Progressive Multigrid Eigensolver for Multiscale Angular Embedding Problems☆16Oct 21, 2016Updated 9 years ago
- Hindering Backchannels Rule☆12Feb 7, 2020Updated 6 years ago
- Communication Avoiding Numerical Dense Matrix Computations☆11Dec 20, 2020Updated 5 years ago
- Collect User templates for everyone to use☆13Aug 18, 2025Updated last year
- 🏗 forkable Ethereum dev stack focused on fast product iterations☆10Aug 28, 2021Updated 5 years ago
- Mimetic Finite Differences in Python☆11Feb 18, 2024Updated 2 years ago
- A MATLAB implementation of the Schottky-Klein prime function.☆10Oct 25, 2021Updated 4 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Aug 1, 2016Updated 10 years ago
- GPI-Space: Memory Driven Computing and Big Data☆10Mar 17, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Integrated Interface for libraries of eigenvalue decomposition☆10Aug 15, 2026Updated last month
- Elliptic curve operations written in rust.☆12Jul 16, 2024Updated 2 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 11 years ago
- The main source code for Regina☆42Updated this week
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated last year
- A server for the forester tool☆19Dec 10, 2024Updated last year
- A graph of the interdependencies of the packages of hackage.haskell.org.☆15May 22, 2020Updated 6 years ago
- Haskell RSA Library☆21Apr 18, 2021Updated 5 years ago
- Datatypes as quotients of polynomial functors☆42May 4, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Generic topological sorting for sorting a list of dependencies in C++17☆15Oct 18, 2018Updated 7 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 15 years ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- Uses jekyll, webpack, react, jekyll-livereload, and multithreaded rake tasks☆10Nov 7, 2019Updated 6 years ago
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Jan 24, 2023Updated 3 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆47Jul 16, 2014Updated 12 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 3 years ago