AbdullahAlhariri / penmentor
AI mentor that corrects your written math visually with local harnesses.
AbdullahAlhariri / penmentor
AxiomCodeAI / axiomcodegraph
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
1105216375-alt / resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
CasterPalace / kahoot-answer-rpocket-team-free-access
Get correct Kahoot answers instantly and free—no limits, fees, or subscriptions. Boost your quiz scores now.
NethermindEth / LeanCIL
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
rebelytics / one-skill-to-rule-them-all
The meta-skill that builds and improves all your skills, including itself. Watches your work sessions (autonomous or human-led), captures patterns, corrections and judgement calls, and turns them into skill improvements and new skill candidates for your review. Practical application of the Augmented Expertise methodology. Open source: CC BY 4.0.
ijl / orjson
Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy
yibie / awesome-rea
A curated list of AI-assisted reverse engineering: decompilation, recompilation and native ports, with how each project verifies correctness
icebird1998 / scientific-illustrator
Editable scientific figures in PowerPoint and draw.io via Codex/MCP with Designer-Drawer-Reviewer-Corrector quality gates.
Gxj230958 / TritonAscendBench
A migration benchmark that measures whether production GPU Triton kernels — extracted from vLLM and SGLang inference paths — can be ported to the Huawei Ascend 910B (Atlas A2) via `triton-ascend` without losing correctness or performance.
jxlarrea / lineageos-echo-show-camera
Full camera and bluetooth enablement for LineageOS 18.1 on the Amazon Echo Show 5 (1st/2nd gen) and Echo Show 8 (1st gen). Kernel sensor driver, userspace shims and image tuning corrections.
sunovivid / correction-training
Official implementation of "Correction Training for Diffusion Models"
palantir / blueprint
A React-based UI toolkit for the web
github-linguist / linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
rohitg00 / pro-workflow
Claude Code learns from your corrections: self-correcting memory that compounds over 50+ sessions. Context engineering, parallel worktrees, agent teams, and 17 battle-tested skills.
Tyrrrz / LightBulb
Reduces eye strain by adjusting screen gamma based on the current time
creusot-rs / creusot
Creusot helps you prove your Rust code is correct.
succinctlabs / sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
lix-project / lix
[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed to doing right by its community
shenmintao / Raw-Alchemy
Bridge the gap between photo and video color grading. Accurately apply any creative LUT to your RAW files with this tool.
per-simmons / murmur-youtube
Push-to-talk dictation, on-device. Native macOS (Swift) and Windows (C#/Avalonia), sharing one behavioural contract for the correction dictionary.
luobosibing2 / dsh-jev-plugin
Native DeepSeek Harness (DSH) plugin integrating TypeSafe Jev or Decision api like luna as a System One decision layer for agent selection, supervision, corrections, and approvals.
caca2331 / finesub
Pipeline that turns audio/video into Chinese subtitles: vocal separation → VAD/ASR → optional LLM correction, translation, and knowledge-assisted polish.
xiaojunlan / care
CARE: corrective data generation and FSR-Bench evaluation for robotic manipulation
jiangkoumo / ego-decision-layer
Pluggable decision layer for the ego lite browser: one System One (Jev) call per step replaces the per-step LLM turn, and the backend can be swapped for a local OpenAI-compatible model. Fail-closed execution guards. The measured one — raw bench data, 16 suites, changelog with corrections.
Alexofp / BDCC
Text based game about being a prisoner in a space prison with a lot of adult themes. Working title is Broken Dreams Correctional Center or BDCC for short. Test the latest version here: (could be unstable)
bazelbuild / bazel
a fast, scalable, multi-language and extensible build system
dylang / npm-check
Check for outdated, incorrect, and unused dependencies.
phan / phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
xtaci / kcp-go
A crypto-secure Reliable-UDP library for Golang with FEC support.
01mf02 / jaq
A jq clone focussed on correctness, speed, and simplicity
icedland / iced
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua
palantir / plottable
:bar_chart: A library of modular chart components built on D3
Dicklesworthstone / llm_aided_ocr
Enhances Tesseract OCR output using LLMs (local or API) for error correction, smart chunking, and markdown formatting of scanned PDFs
kaleidawave / ezno
A correct and efficient TypeScript type checker and compiler with additional experiments
palantir / python-language-server
An implementation of the Language Server Protocol for Python
BayramAnnakov / claude-reflect
A self-learning system for Claude Code that captures corrections, positive feedback, and preferences — then syncs them to CLAUDE.md and AGENTS.md.
mlr-org / mlr
Machine Learning in R
huacnlee / autocorrect
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
blampe / rreading-glasses
Corrective lenses for curmudgeonly readars in your life
frutik / awesome-search
Awesome Search - this is all about the (e-commerce, but not only) search and its awesomeness
batfish / batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
mpusz / mp-units
The Domain-Correct Quantities and Units Library for C++ — full quantity kind safety, ISO 80000 compliant, C++29 standardization candidate.
hydro-project / hydro
A Rust framework for correct and performant distributed systems
palantir / windows-event-forwarding
A repository for using windows event forwarding for incident detection and response
palantir / pyspark-style-guide
This is a guide to PySpark code style presenting common situations and the associated best practices based on the most frequent recurring topics across the PySpark repos we've encountered.
HEnquist / camilladsp
A flexible cross-platform IIR and FIR engine for crossovers, room correction etc.
jaraco / inflect
Correctly generate plurals, ordinals, indefinite articles; convert numbers to words
palantir / policy-bot
A GitHub App that enforces approval policies on pull requests
djlint / djLint
HTML template formatter and linter for Django, Jinja, Twig, Nunjucks, Handlebars, Liquid, Go templates, Mustache, Tera, Askama and Angular. Formats markup and template syntax together, and lints for accessibility, correctness and style. CLI, pre-commit hook and VS Code extension.
cs3110 / textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
palantir / palantir-java-format
A modern, lambda-friendly, 120 character Java formatter.
palantir / alerting-detection-strategy-framework
A framework for developing alerting and detection strategies for incident response.
PulseBeat02 / yt-media-storage
Encodes files into uploadable media
palantir / osquery-configuration
A repository for using osquery for incident detection and response
zio / zio-http
A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers
facebookresearch / MHR
Momentum Human Rig is an anatomically-inspired parametric full-body digital human model developed at Meta. It includes: A parametric body skeletal model; A realistic 3D mesh skinned to the skeleton with levels of detail;A body blendshape and pose corrective model; A facial blendshape model.Its design is friendly for both CG and CV communities.
microsoft / binskim
A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
pypa / build
A simple, correct Python build frontend
wundergraph / graphql-go-tools
GraphQL Router / API Gateway framework written in Golang, focussing on correctness, extensibility, and high-performance. Supports Federation v1 & v2, Subscriptions & more.