soraros Goto Github PK

array-api

RFC document, tooling and other content related to the array API standard

basalt

A Machine Learning framework from scratch in Mojo 🔥

boogie-friends

Tools for interacting with Boogie

ca_mojo

company-coq

IDE extensions for Proof General's Coq mode

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.

equinox

Callable PyTrees and filtered JIT/grad transformations => neural networks in JAX.

fourcolor

Formal proof of the Four Color Theorem

frap

Formal Reasoning About Programs

instructions

Supplementary material for self-study instructions

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

math-comp

Mathematical Components

matplotx

:bar_chart: More styles and useful extensions for Matplotlib

mojo

The Mojo Programming Language

mojofasttrim

numal

Numerical Algorithms in C

numba

NumPy aware dynamic Python compiler using LLVM

nutils

The nutils project

optimesh

Mesh optimization, mesh smoothing.

perfplot

:chart_with_upwards_trend: Performance analysis for Python snippets

pg

This repo is the new home of Proof General

proofs

A selection of formal developments in Coq.

pyfem

A Python finite element code

python-patterns

A collection of design patterns/idioms in Python

rsshub

🍰 Everything is RSSible

scipyx

SciPy fixes and extensions

surge-list

termplotlib

:chart_with_upwards_trend: Plotting on the command line

thesis-template

A template (example) for Master/PhD thesis in LaTeX for The University of Tokyo.

typing_extensions

Backported and experimental type hints for Python