A "git trac" subcommand for git
☆13Apr 6, 2022Updated 3 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
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 last week
- Collection of examples to get started with CoCalc☆47Jul 6, 2022Updated 3 years ago
- Multinomials for the Mathematical Components library.☆16Mar 3, 2026Updated 2 weeks ago
- data compression library for embedded/real-time systems☆13Dec 8, 2015Updated 10 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Oct 1, 2025Updated 5 months ago
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 9 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- A collection of papers about package management we can all ready!☆11May 15, 2019Updated 6 years ago
- Find out if your SSH keys are safe!☆12Oct 18, 2024Updated last year
- Python script for using clang's AST dump and hunsepll for spell checking source code comments.☆10Jun 4, 2018Updated 7 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆30Updated this week
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- The Bioconductor Build System☆12Mar 9, 2026Updated last week
- Boiler: a software tool for highly efficient, lossy compression of RNA-seq alignments☆13Jul 14, 2016Updated 9 years ago
- Python 3 ctypes port of dds, the bridge double dummy solver☆19Jan 5, 2019Updated 7 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Jul 12, 2012Updated 13 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 3 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- N/A☆19Nov 10, 2020Updated 5 years ago
- Apache NuttX Website☆22Updated 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…☆16Mar 30, 2022Updated 3 years ago
- Index to easily find files to download☆39May 2, 2019Updated 6 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- ☆13Oct 17, 2021Updated 4 years ago
- Simple template for running snakemake with R☆12Jan 31, 2023Updated 3 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Import or partially refresh your Google Sheets from Excel files☆17Jul 18, 2025Updated 8 months ago
- ☆15Dec 8, 2022Updated 3 years ago
- common language and mathematics processing algorithms, in Rust☆30Mar 25, 2024Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 7 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago