C++ library of symbolic algebra data structures for use in Groebner basis computation.
☆25May 26, 2020Updated 6 years ago
Alternatives and similar repositories for mathic
Users that are interested in mathic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- Parallel Groebner Basis Computation☆27Mar 21, 2026Updated 6 months ago
- M4GB: Efficient Groebner Basis algorithm☆73Nov 27, 2018Updated 7 years ago
- A word-aligned integer compression algorithm.☆13Jul 8, 2024Updated 2 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Dec 15, 2012Updated 13 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.
- Convert JSON files to Apache Arrow.☆23Feb 2, 2023Updated 3 years ago
- ☆10Feb 12, 2020Updated 6 years ago
- Mandelbrot fractal on NVidia GPUs using CUDA dynamic parallelism and Mariani-Silver algorithm☆30Apr 7, 2014Updated 12 years ago
- Mirror of Agner Fog's C++ vector class library☆30Aug 17, 2019Updated 7 years ago
- The Saturn programming language.☆11Aug 31, 2016Updated 10 years ago
- sources for the Singular computer algebra system☆325Updated this week
- The Voice Codec Algorithms☆11Jul 3, 2013Updated 13 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Pure math functions useful for games, 3D, and GL in general.☆18Jan 29, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- AMulet 2. - A better AIG Multiplier Examination Tool☆32Dec 23, 2025Updated 8 months ago
- Parallel Stable Sort☆15Oct 11, 2015Updated 10 years ago
- Minimalistic & highly customizable project manager package for Emacs.☆12Mar 10, 2025Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- FPU Double VHDL☆12Jul 17, 2014Updated 12 years ago
- script to download the TETRA ACELP codec from ETSI and compile/install it☆13Jan 4, 2026Updated 8 months ago
- C library for evaluating expressions with the abstract syntax tree.☆16Aug 3, 2020Updated 6 years ago
- Experimentation code for ETSO GMR-1 satellite telephony networks; mirror of https://gitea.osmocom.org/satellite/osmo-gmr☆17Oct 21, 2022Updated 3 years ago
- Nonbinary LDPC codes encoding and decoding implementation☆13May 16, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Free ACELP vocoder☆18Sep 20, 2024Updated 2 years ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- Fast transforms over finite fields☆13Jul 17, 2021Updated 5 years ago
- Implementation of the parallel Pollard's rho method for solving the Elliptic Curve Discrete Logarithm Problem (ECDLP).☆11Mar 14, 2015Updated 11 years ago
- Boost.org logic module☆12Aug 12, 2026Updated last month
- AD7606 library for Arduino framework☆24Aug 31, 2025Updated last year
- 8PSK/QPSK Modem to send Images/Data via a 2,7kHz SSB channel in high speed☆24Apr 27, 2021Updated 5 years ago
- Aggregates wireshark pdml to flows, with plugins☆15Jun 30, 2020Updated 6 years ago
- Sudoku solvers in Python, Clojure, Haskell, Ruby, etc. Based on Peter Norvig's constraint propagation and search algorithm.☆23Feb 19, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Geometry library containing the essentials (2d & 3D points/vectors, meshes, B-splines)☆13May 21, 2025Updated last year
- ODE system solver using dG(q), time-discontinuous Galerkin with Lobatto basis. Py3.11-3.14.☆18Sep 9, 2026Updated last week
- NLP for Common Lisp☆22Apr 5, 2011Updated 15 years ago
- ☆22Apr 2, 2023Updated 3 years ago
- ☆13May 18, 2016Updated 10 years ago
- A reference implementation of the SAC (Simple Audio Compression) codec.☆18Aug 31, 2023Updated 3 years ago
- Write UTF-8 math with Latex syntax☆20Feb 25, 2026Updated 6 months ago