Computing Hermite normal form and Smith normal form with transformation matrices
☆21Jan 4, 2026Updated last month
Alternatives and similar repositories for hsnf
Users that are interested in hsnf are comparing it to the libraries listed below
Sorting:
- Smith Normal Form calculator for integers and gaussian integers☆15Feb 25, 2023Updated 3 years ago
- polygon (ring network) discovery from XYZ files☆11Jun 21, 2016Updated 9 years ago
- Tutorial files for alamode☆13Aug 6, 2024Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- Scripts to calculate elastic properties from a set of strained structures☆20Jul 3, 2024Updated last year
- ☆21Jun 15, 2021Updated 4 years ago
- A python package for computing Persistence Curves☆19Oct 29, 2021Updated 4 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Sep 2, 2018Updated 7 years ago
- A computer algebra system for research in combinatorial game theory☆57Jan 15, 2024Updated 2 years ago
- On-the-fly generator of space-group irreducible representations☆56Feb 23, 2026Updated last week
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- A library to align rigid molecules and clusters☆12Feb 18, 2026Updated last week
- A tool for proving and organizing general theorems using Python.☆33Feb 22, 2026Updated last week
- Python library for multiparameter persistence☆39Updated this week
- Materials Science Scripts☆13Aug 28, 2025Updated 6 months ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated 3 weeks ago
- Neural network class for molecular dynamics to predict potential energy, forces and non-adiabatic couplings.☆11Nov 10, 2022Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆91Feb 13, 2026Updated 2 weeks ago
- ☆38Jan 24, 2026Updated last month
- MDjeep -- a software tool for Distance Geometry☆12Aug 19, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆46Dec 10, 2025Updated 2 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆20Aug 10, 2025Updated 6 months ago
- knityak code for generating art for knit scarves☆11Jun 17, 2019Updated 6 years ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- ☆10Jan 16, 2025Updated last year
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 8 months ago
- A conda-smithy repository for lammps.☆10Sep 12, 2025Updated 5 months ago
- Generator of polynomial machine learning potentials☆19Updated this week
- A Github management Tool for Processing☆14Dec 8, 2017Updated 8 years ago
- ☆15Oct 4, 2012Updated 13 years ago
- Jupyter Book source files for 2022 MSD summer research internship.☆13Jul 10, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- The Jacobi Davison diagonalization, python interface with fortran underlying.☆12Mar 25, 2019Updated 6 years ago
- A linter for Soufflé Datalog☆16Apr 1, 2024Updated last year
- Verilog code of Loongson's GS132 core☆12Dec 19, 2019Updated 6 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- work in progress, playing around with btor2 in rust☆12Updated this week