Explore Projects
Discover 676 open source projects
Showing 281-300 of 676 projects
AnyChart/AnyChart-Android
A data visualization library for creating interactive charts in Android apps.
edubart/nelua-lang
Nelua is a minimal, efficient, statically-typed and meta-programmable systems programming language inspired by Lua.
omry/omegaconf
A flexible Python configuration system that provides a unified API for various configuration formats.
broofa/mime
A library that provides a simple way to determine the MIME type of a file in JavaScript.
RfidResearchGroup/ChameleonUltra
An NRF52840-based hardware tool for reading, writing, and decrypting RFID cards and emulating various card types.
davedelong/time
Robust and type-safe date and time calculations for Swift developers.
ray-x/lsp_signature.nvim
A Neovim plugin that provides LSP signature hints as you type for vibe coders.
JasonKessler/scattertext
A Python library for creating beautiful visualizations of language differences across document types.
alecthomas/entityx
A fast, type-safe C++ Entity-Component system for building games and other interactive applications.
luisvinicius167/ityped
A lightweight, dependency-free JavaScript library for creating animated text typing effects.
kotlin-orm/ktorm
A lightweight Kotlin ORM framework with a strongly-typed SQL DSL and sequence APIs.
isl-org/DPT
A Python library for dense prediction transformers, a type of neural network architecture for computer vision and language tasks.
jfecher/ante
A safe, easy systems language built in Rust with a focus on refinement types and LLVM backend.
react-hook-form/resolvers
A collection of validation resolvers for various schema validation libraries, including TypeScript.
rrousselGit/freezed
A code generation tool for creating immutable classes in Dart with a simple and powerful API.
leanprover/lean3
Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.
6over3/bebop
A fast, type-safe binary serialization library for C#, Rust, JS, and more, enabling efficient data transfer.
zhzyker/dismap
Asset discovery and identification tools to quickly identify web fingerprint information and locate asset types.
HoTT/book
This is a textbook on informal homotopy type theory, not a developer tool for vibe coders.
ogen-go/ogen
OpenAPI v3 code generator for Go, enabling developers to quickly build robust, type-safe REST APIs.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.