The efficient SMT-based context-bounded model checker (ESBMC)

Eclipse iceoryx2™ - true zero-copy inter-process-communication with a Rust core

Web components for math display and input

TikZJax is TikZ running under WebAssembly in the browser

Convert TeX's pascal to javascript

⭐This is a lightweight kit for generating astrolabes for Zi Wei Dou Shu (The Purple Star Astrology), an ancient Chinese astrology. It allows you to obtain your horoscope and personality analysis. 支…

A performant NumPy extension for Galois fields and their applications

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

A modern commutative diagram editor for the web.

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Text threading and image wrap-around for Typst

2D & 3D TeX-Aware Vector Graphics Language

An extremely fast Python package and project manager, written in Rust.

An interface between Clojure and Wolfram Language (the language of Mathematica)

Main repository of SageMath

A dialect of Lisp that's embedded in Python

The native Clojure dialect hosted on LLVM with seamless C++ interop.

library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization

A multi window layout manager for webapps

Group theory visualization software in the browser

COIN-OR Interior Point Optimizer IPOPT

The CAP and homalg projects compatibility package for Julia

Collection of builder repositories for BinaryBuilder.jl

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

GAP packages for Julia integration

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

sources for the Singular computer algebra system

Computational algebraic number theory

CAP project -- Categories, Algorithms, and Programming

Julia bindings for the FLINT number theory C library