From Chirality to the Standard Model. Paper, LaTeX source, and an executable notebook with exact verification and Lean proofs.
☆13Sep 8, 2026Updated last month
Alternatives and similar repositories for chirality-standard-model
Users that are interested in chirality-standard-model are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TypeScript project template repository☆13Jul 30, 2025Updated last year
- [LEGACY] Use the Codex models included with a ChatGPT Plus/Pro subscription inside LangChain/LangGraph.☆14Aug 13, 2026Updated 2 months ago
- Blog on formalizing key transformer invariants.☆25Sep 15, 2026Updated last month
- langfuse extension for pi-coding-agent☆21Oct 8, 2026Updated 2 weeks ago
- A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring…☆28Oct 2, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆18Mar 17, 2025Updated last year
- Python implementation of the Gale-Shapley Algorithm☆11Updated this week
- EfficientNet implementation in PyTorch - https://arxiv.org/abs/1905.11946☆10Jul 30, 2019Updated 7 years ago
- This Repository shows how to use a simple GitHub Action script for compiling a mojo directory into a package.☆12Oct 4, 2023Updated 3 years ago
- Race the contributors behind a release as a GIF and MP4. A GitHub Action.☆32Sep 28, 2026Updated 3 weeks ago
- Gravitas is a free add-on for Google Antigravity that makes its AI agent check what your answer depends on, tell you kindly when somethin…☆30Updated this week
- Angular version of https://swizec.com/blog/animating-svg-nodes-react-preact-inferno-vue/swizec/7311☆10Dec 26, 2016Updated 9 years ago
- pi extension that mirrors pi sessions to HumanLayer (preview)☆37Oct 6, 2026Updated 2 weeks ago
- Python library for fuzzy.ai☆12Nov 2, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- https://pypi.org/project/deepagents-sandbox/☆29Apr 22, 2026Updated 6 months ago
- Implementation of a simple web browser using GTK+3 and WebKit2 in Python☆10Apr 14, 2020Updated 6 years ago
- Animation of Yves Lafont's Interaction Combinators☆25Jan 30, 2022Updated 4 years ago
- A powerful, type-safe dimensional analysis library in Mojo☆16Sep 25, 2026Updated last month
- Generates a systags file for Vim use.☆10Mar 2, 2020Updated 6 years ago
- Open-source subatomic physics simulator using classical field theories and topology to study particle & force emergence☆42Updated this week
- Mixin bot API for Javascript☆13Jul 14, 2022Updated 4 years ago
- 🤖 Open-source LLM server (OpenAI, Ollama, Groq, Anthropic) with support for HTTP, Streaming, Agents, RAG (Deprecated check out Orchestra…☆33Jun 10, 2025Updated last year
- Open Indicators / Strategies for JForex☆12Apr 3, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Nov 19, 2024Updated last year
- 21 Lektionen - Ein Buch über eine Bitcoin-Reise, geschrieben von einem Bitcoiner☆13May 29, 2022Updated 4 years ago
- macOS app that watches your Claude Code / Codex sessions as birds in an always-on-top window☆19Updated this week
- Advent of Code solutions in C++, Rust, Java, Kotlin, Swift, Go, Ruby, C#, Dart and Mojo 🔥☆19Jul 22, 2026Updated 3 months ago
- Deep Learning Benchmark Results (RTX 2080 TI vs. RTX 2070)☆16Oct 27, 2018Updated 7 years ago
- (FORK for Developement)☆15Updated this week
- AI Tool Use Utility for letting your AI query SQL☆39Jan 3, 2025Updated last year
- A fullstack food delivery app with restaurant dashboard and driver app made using react native and firebase.☆32Jun 25, 2023Updated 3 years ago
- System Design architecture for ride-sharing platform☆29Sep 1, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Sep 25, 2018Updated 8 years ago
- 🏗️ AGRO — Agent Governance Runtime Orchestrator. A portable home for autonomous coding agents.☆42Updated this week
- Project Kickstarter - Starter Version☆20Jan 27, 2016Updated 10 years ago
- Example repo for running Python-based AIs in Ludii☆14Jun 20, 2022Updated 4 years ago
- Reproducible AI drift-monitoring reference system with PSI/KS decision logic, Go ingestion, C++ drift computation, Python services, obser…☆42Aug 30, 2026Updated last month
- ☆14Jun 21, 2019Updated 7 years ago
- Autonomous Claude Code execution with hourly Codex review, reconciliation, and bounded follow-up prompts.☆66Oct 18, 2026Updated last week