prism-dev

Trending open-source repository: nasa/harmony-autotester

Debloat any Android or Google TV over Wi-Fi and get an Apple TV-style home.

Core BioPerl 1.x code

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Illegal-states-unrepresentable design in strongly-typed Python, demonstrated on a decentralized ant-robot colony simulation: algebraic data types, session-typed protocol phases, affine transaction handles, nominal AgentId/TxnId types, a fault-injectable message bus, and active-inference agents minim

Powerful, efficient particle trajectory analysis in scientific Python.

Learned evaluators for Lean 4 proof verdicts and compiler feedback, with hybrid GRPO rewards.

Validated Python toolkit for quantum chaos in SYK and Hubbard models: symmetry-resolved level statistics vs random-matrix theory, spectral form factor, OTOCs, Krylov complexity, ETH, Floquet heating, sparse SYK up to N=34, noisy Trotter circuits with ZNE, and quantum-kernel concentration. Tested, re

📐 Compute the inverse hyperbolic cotangent of single-precision floating-point numbers with this efficient JavaScript library for numerical computation.

Lean 4 proof of Erdős Problem 824 (Erdos 824, JSP-000680): coprime pairs a < b < x with equal sum of divisors sigma(a) = sigma(b) number more than x^(2-ε); formalization with Mathlib

Frequency domain, multi-tone harmonic balance, simulation of scattering parameters and noise in nonlinear circuits containing Josephson junctions. Scattering parameter conversion and interconnection.

λ Haskell Pure Functional & Algebraic Algorithms Core - Maintained by @myonathanlinkedin.

PennyLane is an open-source quantum software platform for quantum computing, quantum machine learning, and quantum chemistry. Create meaningful quantum algorithms, from inspiration to implementation.

Remove a factor of n: an open mathematics challenge on Reed-Solomon mutual correlated agreement, with Lean pins against ArkLib. New mathematics for STARK security, discovered in the open.

Power OpenClaw with 60 Arabic AI skills, dialect support, and local-first privacy on any model

Interactive linear algebra textbook in Jupyter notebooks, with geometry, proofs, and Python experiments from vectors to SVD. English edition; Chinese editions coming.

PyPI-ready elliptic-curve databases for SageMath

DeepONets, (Fourier) Neural Operators, Physics-Informed Neural Operators, and more in Julia

Trending open-source repository: SciML/FastAlmostBandedMatrices.jl

Your always-on AI coworkers that move between text, calls, and Slack.