Explore Projects
Discover 63 open source projects
Showing 21-40 of 63 projects
wolfgarbe/SymSpell
SymSpell is a lightning-fast library for spelling correction and fuzzy text search using the Symmetric Delete algorithm.
model-checking/kani
Kani is a Rust-based model checker that helps developers verify the correctness of their Rust programs.
Dicklesworthstone/llm_aided_ocr
Corrects OCR errors via LLM post-processing, smart chunking & markdown formatting for PDFs
mitsuhiko/insta
A snapshot testing library for Rust developers to ensure the correctness of their code.
Trusted-AI/AIF360
A comprehensive set of fairness metrics and algorithms to detect and mitigate bias in AI/ML models and datasets.
kaleidawave/ezno
A fast, correct TypeScript type checker and compiler with additional experiments, built in Rust.
kochrt/qr-designer
A web app for designing QR codes with a novel method that doesn't use error correction.
palantir/python-language-server
An implementation of the Language Server Protocol for Python, enabling powerful IDE integrations.
Tyrrrz/LightBulb
A C# library that reduces eye strain by adjusting screen gamma based on the current time
wangyu-/tinyfecVPN
A VPN tool with built-in forward error correction (FEC) support to improve network quality on high-latency, lossy links.
rgrove/rawgit
RawGit serves files from raw.githubusercontent.com with correct content types, no longer actively maintained.
lbryio/torba
Torba makes it easy to create fast and correct bitcoin-based crypto wallets.
Divide-By-0/ideas-for-projects-people-would-use
A collection of software ideas and problems that the creator thinks could have a decent userbase.
ruby/did_you_mean
A Ruby gem that provides spell-checking functionality to prevent typos.
mlr-org/mlr
A comprehensive machine learning library for R, providing a unified interface to a wide range of algorithms.
java-json-tools/json-schema-validator
A high-performance JSON schema validation library for Java developers.
succinctlabs/sp1
A zero-knowledge VM for verifying RISC-V program execution, focused on blockchain and Ethereum applications.
PrithivirajDamodaran/Gramformer
An open-source framework for detecting, highlighting, and correcting grammatical errors in natural language text.
huacnlee/autocorrect
A linter and formatter to help improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean) languages.
frutik/awesome-search
Comprehensive collection of resources and tools for building awesome search experiences.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.