3,818 skills found · Page 2 of 128
huacnlee / AutocorrectA linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
PrithivirajDamodaran / GramformerA framework for detecting, highlighting and correcting grammatical errors on natural language text. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.
creusot-rs / CreusotCreusot helps you prove your code is correct in an automated fashion.
kyutai-labs / HibikiHibiki is a model for streaming speech translation (also known as simultaneous translation). Unlike offline translation—where one waits for the end of the source utterance to start translating--- Hibiki adapts its flow to accumulate just enough context to produce a correct translation in real-time, chunk by chunk.
antfu / Case Police🚨 Make the case correct, PLEASE!
mpusz / Mp UnitsThe Domain-Correct Quantities and Units Library for C++ — full quantity kind safety, ISO 80000 compliant, C++29 standardization candidate.
client9 / MisspellCorrect commonly misspelled English words in source files
batfish / BatfishBatfish 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.
matthuhiggins / ForeignerAdds foreign key helpers to migrations and correctly dumps foreign keys to schema.rb
graphql-rust / Graphql ClientTyped, correct GraphQL requests and responses in Rust
atpaino / Deep Text CorrectorDeep learning models trained to correct input errors in short, message-like text
hydro-project / HydroA Rust framework for correct and performant distributed systems
antithesishq / BombadilProperty-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
jaraco / InflectCorrectly generate plurals, ordinals, indefinite articles; convert numbers to words
spacejam / Tla Rustwriting correct lock-free and distributed stateful systems in Rust, assisted by TLA+
itsuhane / SwitchKeyAutomatically activate the correct input source.
tapparelj / Gr Lora SdrThis is the fully-functional GNU Radio software-defined radio (SDR) implementation of a LoRa transceiver with all the necessary receiver components to operate correctly even at very low SNRs. This work has been conducted at the Telecommunication Circuits Laboratory, EPFL.
cs3110 / TextbookThe CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
zio / Zio HttpA next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers
microsoft / BinskimA binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
