nova-coder

Puggle — Pre-Verification Untrusted Grammar & Goal Linguistic Engine; isolated neurosymbolic auto-formalisation front-end for ECHIDNA. Builds bound signature ASTs under microKanren relational constraints, audits semantic round trips, and serialises a frozen handoff outside ECHIDNA's trusted computin

The quip network mining stack. This includes a coordinator and links all of the official quip network miners.

A lightweight finite element toolbox in Julia for education, research, and rapid prototyping of weak-form formulations.

WebAssembly modules for bioinformatics

An open encyclopedia of algorithms. Each node has the concept, proofs, implementations with tests in many languages, and a step-by-step visualization.

Educational Python and Qiskit project on the quantum threat to RSA: a simulated Shor's algorithm, classical vs. quantum factoring cost, published RSA-2048 resource estimates, and NIST post-quantum standards (ML-KEM, ML-DSA, SLH-DSA; FIPS 203/204/205). Jupyter notebooks and figures included. Toy code

Trending open-source repository: nasa/cumulus-ecs-task

POLYMATH-ATLAS v107.1-FINAL — honest evidence-audit framework in Lean 4. VERIFIED ENGINEERING FRAMEWORK (prototype), not a theorem prover. Open verification protocol in README.

A python package for turbulence diagnostics and (hopefully) aeroelasticity

Matching T-cell receptor repertoires to a database of antigen specificities

244 pixel art effects, every one a small piece of code. Plus a Claude Code skill to make your own.

An open-source desktop OS that protects data by how it works: levelled sealed files, approvals on people's own devices, decisions proven in Lean. Developer Preview.

Py3plex - A multilayer complex network visualization and analysis library in python3

Tunable mean-field deformation framework for multi-stream policy ensembles in active inference, with a machine-checked Lean 4 boundary, pymdp POMDP simulations, and closed-form entanglement decomposition of variational free energy

genome-spy-python is a declarative genomics visualization library for Python, built on top of the genome-spy JSON specification.

Interactive comparison of numerical integration methods (Trapezoidal, Simpson's 1/3 & 3/8, Gaussian quadrature) at 60-digit precision with mpmath — live convergence plots and an adjustable n slider.

Sub-8-Bit ParabolicPosetQROM & Upper-Ideal Rota-Mobius / Graded Hamming ANF Gate Annihilation for Qualtran (226 CCX/circuit, 6,780 vs 36,720 Toffolis, Lean 4.20.0 0 sorryAx).

Simulation of Classical Mechanics problems using Python

Trending open-source repository: nasa/SBN

NEOMA: Real-time Physical AI & Edge Appliance powered by P-CAM (0.72ms Latency & Silicon SEAL Verification)