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:
- Easily move submodules within a git repository (shell script)☆27Feb 3, 2013Updated 13 years ago
- 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.☆17Updated this week
- 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.
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 9 years ago
- A collection of papers about package management we can all ready!☆11May 15, 2019Updated 7 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 3 weeks ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- Collection of examples to get started with CoCalc☆47Jul 6, 2022Updated 4 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python 3 ctypes port of dds, the bridge double dummy solver☆21Jan 5, 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☆15Updated this week
- 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
- Boiler: a software tool for highly efficient, lossy compression of RNA-seq alignments☆13Jul 14, 2016Updated 10 years ago
- common language and mathematics processing algorithms, in Rust☆30Mar 25, 2024Updated 2 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- N/A☆19Nov 10, 2020Updated 5 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
- Import or partially refresh your Google Sheets from Excel files☆18Mar 18, 2026Updated 4 months ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Kerberos authenticator module for the JupyterHub platform☆21Sep 2, 2018Updated 7 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆13Aug 29, 2025Updated 10 months ago
- 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
- ☆13Oct 17, 2021Updated 4 years ago