GNU Octave toolkit for controlling a Raspberry Pi
A textbook on informal homotopy type theory
Application for calculating the real roots of a polynomial
External plugins for modnlp/teccli
GNU octave bindings to the cfitsio library
Computation and Visualization environment
Computer Assisted Proofs in Dynamics
GNU Octave MQTT toolkit
Specification for interoperability of JavaScript algebraic structures
A scientific calculator written in Python
*nix Sidereal Clock
App for meta-analysis of diagnostic accuracy reviews
Gap.app is a frontend and distribution for GAP on macOS
Optimal Decision Rules for the Discursive Dilemma
Manual counter with the keyboard or the mouse on images
A flexible mathematical expressions parser for JAVA, Android, C# .NET