A modern, lambda-friendly, 120 character Java formatter.
- java
- formatter
- codeformatter
- gofmt
Repository Index
47,133 repositories indexed
25–48 of 65 · Most stars
GraphQL Router / API Gateway framework written in Golang, focussing on correctness, extensibility, and high-performance. Supports Federation v1 & v2, Subscriptions & more.
Fast, accurate OCR with correctness assessment.
- image2text
- minicpm-v
- ocr
Computational toolbox for large scale Calcium Imaging Analysis, including movie handling, motion correction, source extraction, spike deconvolution and result visualization.
- calcium-imaging
- deconvolution
- source-extraction
- motion-correction
Native Windows video motion capture with ExMR, FlowHMR and GVHMR, contact correction, humanoid retargeting, and FBX/VMD export.
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.
C library for Convolutional codes and Reed-Solomon
- convolutional-codes
- reed-solomon
- fec
- viterbi-algorithm
Reference mapping for single-cell genomics
- single-cell
- deep-learning
- rna-seq-analysis
- data-integration
Software suite for the automated generation of geographically correct or schematic transit maps.
Download, unpack from a ZIP/TAR/GZ/BZ2 archive, parse, correct, convert units and import Google Spreadsheets, XLS, ODS, XML, CSV, HTML, etc. into your ActiveRecord models. Uses RemoteTable gem internally.
A high performance filetype mode for Neovim which leverages conceal and highlights your buffer with the correct color codes.
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
A curated list of resources on handling Rolling Shutter effects and Radial Distortions
- rolling-shutter-cameras
- rolling-shutter-images
- motion
- cameras
A curated list of AI-assisted reverse engineering: decompilation, recompilation and native ports, with how each project verifies correctness
An easy, fast lib to correctly password-protect your data
- secrets
- passwords
- encryption
- keys
Correctly rounded decimals for Go
- decimal
- financial
- floating-point
- general-decimal-arithmetic
A correct and safe(er) JSON RFC 8259 reader/writer with sane defaults.
An agent skill that keeps other skills lean and correct: a checklist for every edit, and a tested diet for bloated ones.
Get the real length of a string - by correctly counting astral symbols and ignoring ansi escape codes
🏃 The go-to single-cell Foundation Model
- batch-correction
- cell-biology
- celltype-annotation
- denoising
Xcode extension for spell checking and auto-correcting code comments.
- xcode
- extension
- comments
- spelling
Mostly Automated Synthesis of Correct-by-Construction Programs
AI mentor that corrects your written math visually with local harnesses.
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.