A "git trac" subcommand for git
☆13Apr 6, 2022Updated 4 years ago
Alternatives and similar repositories for git-trac-command
Users that are interested in git-trac-command are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spletna storitev za poučevanje programiranja☆16Mar 12, 2026Updated 4 months ago
- data compression library for embedded/real-time systems☆13Dec 8, 2015Updated 10 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- Multinomials for the Mathematical Components library.☆17Jul 27, 2026Updated last week
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 10 years ago
- Collection of examples to get started with CoCalc☆47Jul 6, 2022Updated 4 years ago
- A collection of papers about package management we can all ready!☆11May 15, 2019Updated 7 years ago
- Easily move submodules within a git repository (shell script)☆27Feb 3, 2013Updated 13 years ago
- Find out if your SSH keys are safe!☆12Oct 18, 2024Updated last year
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆31Jun 27, 2026Updated last month
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- Python 3 ctypes port of dds, the bridge double dummy solver☆21Jan 5, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- GAP package IO to do input and output☆15Jul 14, 2026Updated 3 weeks ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 7 months ago
- common language and mathematics processing algorithms, in Rust☆31Mar 25, 2024Updated 2 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- N/A☆19Nov 10, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Boiler: a software tool for highly efficient, lossy compression of RNA-seq alignments☆13Jul 14, 2016Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Apache NuttX Website☆23Updated this week
- Reports a bill of material list from KiCad 6 - specifications are matched with a PartKeepr database, with the possibilty to mutate to the…☆17Mar 30, 2022Updated 4 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Import or partially refresh your Google Sheets from Excel files☆18Mar 18, 2026Updated 4 months ago
- Index to easily find files to download☆39May 2, 2019Updated 7 years ago
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Kerberos authenticator module for the JupyterHub platform☆21Sep 2, 2018Updated 7 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- ☆13Updated this week
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 8 years ago
- DEPRECATED! -> Project moved to xPack Dev Tools ->☆19May 25, 2019Updated 7 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago