knot theory and computational algebra software
☆38Jun 16, 2014Updated 11 years ago
Alternatives and similar repositories for knotkit
Users that are interested in knotkit are comparing it to the libraries listed below
Sorting:
- Python library for natural language processing☆10May 8, 2022Updated 3 years ago
- FeynGKZ: a Mathematica package for solving Feynman integrals using GKZ hypergeometric systems☆13Mar 10, 2023Updated 2 years ago
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- A support library for building hierarchies of composable 2nd-level schedulers. It uses parlib as its backend.☆15Jun 12, 2017Updated 8 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last month
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆46Jul 16, 2014Updated 11 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 11 months ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- Effective Algebraic Topology in Haskell☆91Sep 13, 2024Updated last year
- Tools for the generation, analysis and visualisation of complex networks in hyperbolic space.☆27Oct 30, 2018Updated 7 years ago
- A list of application templates useful for hackathons and anything else☆37Jul 17, 2016Updated 9 years ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- A Gstreamer decryptor, with an implementation for OCDM.☆12Jun 7, 2022Updated 3 years ago
- riii☆10Dec 10, 2015Updated 10 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Aug 1, 2016Updated 9 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆412Updated this week
- Mikrotik EoIP implementation. Rewrite of the implementation at linux-eoip.googlecode.com for better latency and buffering performance.☆14Mar 27, 2014Updated 11 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Rust bindings for the Android MediaCodec NDK library☆13Nov 7, 2022Updated 3 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- Makes a video of collages☆11Feb 12, 2023Updated 3 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- Latest version of IFISS software☆11Dec 27, 2025Updated 2 months ago
- CLI to organize image files into a folder hierarchy based on EXIF data☆11Dec 1, 2025Updated 3 months ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Autonomous Rescue Robot☆17Nov 16, 2022Updated 3 years ago
- Direct Numerical Simulation of Turbulence using the Implicitly Dealiased Pseudospectral Method☆12Jun 20, 2025Updated 8 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Mirror of CEF3☆12Oct 25, 2012Updated 13 years ago
- ☆12Feb 23, 2022Updated 4 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- Service to transfer stuff between different devices (connection is made thrugh a server by matching secret phrases).☆19Mar 27, 2013Updated 12 years ago