Pinned Repositories
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
math-comp
Mathematical Components
modular
The Modular Platform (includes MAX & Mojo)
boogie-friends
Tools for interacting with Boogie
Csdp
This is now the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.
fourcolor
Formal proof of the Four Color Theorem
frap
Formal Reasoning About Programs
math-comp
Mathematical Components
nutils
The nutils project
soraros's Repositories
soraros/boogie-friends
Tools for interacting with Boogie
soraros/fourcolor
Formal proof of the Four Color Theorem
soraros/frap
Formal Reasoning About Programs
soraros/math-comp
Mathematical Components
soraros/nutils
The nutils project
soraros/PyFEM
A Python finite element code
soraros/surge-list
soraros/array-api
RFC document, tooling and other content related to the array API standard
soraros/basalt
A Machine Learning framework from scratch in Mojo 🔥
soraros/ca_mojo
soraros/Code-used-on-Daniel-Lemire-s-blog
This is a repository for the code posted on my blog
soraros/cpython
The Python programming language
soraros/EmberJson
A user friendly json library written in pure Mojo
soraros/equinox
Callable PyTrees and filtered JIT/grad transformations => neural networks in JAX.
soraros/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
soraros/Kelvin
soraros/manim
A community-maintained Python framework for creating mathematical animations.
soraros/matplotx
:bar_chart: More styles and useful extensions for Matplotlib
soraros/max-cv
An image processing framework built upon MAX
soraros/mlir-tutorial
MLIR For Beginners tutorial
soraros/mojo
The Mojo Programming Language
soraros/mojo-pytest
Mojo🔥 language test runner plugin for pytest. (aka pytest-mojo)
soraros/nabla
Differentiable Programming in Mojo
soraros/NuMojo
NuMojo is a library for numerical computing in Mojo 🔥 similar to numpy in Python.
soraros/optimesh
:spider_web: Mesh optimization, mesh smoothing.
soraros/perfplot
:chart_with_upwards_trend: Performance analysis for Python snippets
soraros/python-patterns
A collection of design patterns/idioms in Python
soraros/RSSHub
🍰 Everything is RSSible
soraros/SpeedTests
comparing the execution speeds of various programming languages
soraros/typing_extensions
Backported and experimental type hints for Python