Explore Projects
Discover 63 open source projects
Showing 41-60 of 63 projects
creusot-rs/creusot
Creusot helps developers prove their Rust code is correct using automated formal verification.
antfu/case-police
A TypeScript utility library to help developers ensure case consistency across their codebase.
kyutai-labs/hibiki
Hibiki is a Rust library for building real-time speech translation models for AI-powered applications.
client9/misspell
A Go library to correct commonly misspelled English words in source files.
blampe/rreading-glasses
A Go library that provides corrective lenses for curmudgeonly readers, focused on developer comfort.
batfish/batfish
Batfish is a network configuration analysis tool that helps engineers safely evolve their network.
matthuhiggins/foreigner
Adds foreign key helpers to migrations and correctly dumps foreign keys to schema.rb
ledoge/novideo_srgb
A C# tool for calibrating monitors to sRGB or other color spaces on NVIDIA GPUs based on EDID data or ICC profiles.
palantir/windows-event-forwarding
A repository for using Windows Event Forwarding for incident detection and response.
charlesXu86/Chatbot_CN
A chatbot framework for the finance and legal domains, with NLU, NLG, and knowledge graph capabilities.
graphql-rust/graphql-client
A Rust library for generating typed, correct GraphQL requests and responses.
atpaino/deep-text-corrector
Deep learning models to automatically correct errors in short, message-like text.
palantir/pyspark-style-guide
This is a style guide for PySpark code, providing best practices for common situations in PySpark repos.
iqiyi/FASPell
A Chinese spell checker tool built with Python for correcting spelling mistakes in Chinese text.
GoGoDuck912/Self-Correction-Human-Parsing
An out-of-the-box library for extracting human parsing representations from images using deep learning.
qwqcode/SubRenamer
A batch rename tool for subtitle files that automatically adjusts the timing to match the video.
hydro-project/hydro
A Rust framework for building correct and performant distributed systems.
nishuzumi/gemini-teacher
English pronunciation correction tool built with the Gemini language model
typetools/checker-framework
A pluggable type-checking tool for Java that helps catch bugs and enforce code correctness.
jaraco/inflect
A Python library for correctly generating plurals, ordinals, indefinite articles, and converting numbers to words.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.