Symbolic programming for the next generation of numerical software
Bayesian Modeling and Probabilistic Programming in Python
Geometric deep learning extension library for PyTorch
Advanced mathematical types and functions for Swift
A minimalistic digital logic simulator
ROBOTIS Dynamixel SDK (Protocol1.0/2.0)
A Distributed RESTful Search Engine
AI-driven neuro-symbolic solver for high-school geometry problems
Composable transformations of Python+NumPy programs
Leading open-source visualization and observability platform
WS2812 FX library for Arduino and ESP8266
fast C++ library for linear algebra & scientific computing
A library and a GUI front-end for fuzzy machine learning
Computer Algebra System written in Common Lisp
A cross-platform statistical package for econometric analysis
Python Calculator on Number Theory, three-birds-one learning material
The classic RPL programming language reimplemented and reimagined.
Calc: arbitrary precision C-like arithmetic & calculator
A Portable General-Purpose Computer Algebra System
It's possible for machines to become self-aware.
FEATool Multiphysics is an easy-to-use FEA and CFD Simulation Toolbox
T3000 Bacnet Building Automation System, graphical front end for bldgs