fredrik-johansson
Computer algebra, high-precision arithmetic
INRIA & Institut de Mathématiques de BordeauxBordeaux, France
fredrik-johansson's Stars
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
vnmakarov/mir
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
sagemath/sage
Main repository of SageMath
caffeine-overload/bandinchina
Naming and shaming companies who kowtow to Chinese censorship requests
PolyMeilex/Neothesia
Flashy Synthesia Like Software For Linux, Windows and MacOs
glinscott/leela-chess
**MOVED TO https://github.com/LeelaChessZero/leela-chess ** A chess adaption of GCP's Leela Zero
flintlib/flint
FLINT (Fast Library for Number Theory)
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
topological-modular-forms/Darwin-Typeface
This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.
GiacomoPope/kyber-py
A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber
Nemocas/Nemo.jl
Julia bindings for the FLINT number theory C library
Nemocas/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
keeganryan/flatter
Fast lattice reduction
HazyResearch/blocking-tutorial
algebraic-solving/msolve
Library for Polynomial System Solving through Algebraic Methods
oeis/oeisdata
Content of Online Encyclopedia of Integer Sequences (OEIS)
sagemathinc/JSage
Something like Sage, but for the WebAssembly and JavaScript world.
fragglet/deh9000
Programmer's Dehacked
mkauers/ore_algebra
hagenw/sphinxcontrib-katex
Sphinx extension using KaTeX to render math in HTML
kalmarek/Arblib.jl
Thin, efficient wrapper around Arb library (http://arblib.org/)
fredrik-johansson/midi
:musical_note: Open source MIDI music :musical_note:
wbhart/PCRetroProgrammer
hly1204/library
Algorithms in C++17
pascalmolin/hcperiods
Period matrice and Abel-Jacobi map of hyperelliptic and superperelliptic curves
jwbober/zetacalc
quadratic exponential sums and zeta(1/2 + it)
mezzarobba/flint_gr_sage
wbhart/russell
Automated mathematician
rfourquet/StraightLinePrograms.jl
Straight-line programs in Julia
sagemathinc/wasm-flint
Web Assembly build of the FLINT number theory library