Explore Projects
Discover 676 open source projects
Showing 441-460 of 676 projects
soutaro/steep
Static type checker for Ruby that helps developers catch type errors at compile-time.
actiontech/sqle
A quality management platform for SQL life cycle that supports multiple database types.
skyzh/type-exercise-in-rust
Learn Rust's dark magics by implementing an expression framework for database systems
patrick-kidger/torchtyping
A Python library that provides type annotations and dynamic checking for tensors' shape, dtype, and names.
spatie/laravel-settings
A strongly typed application settings library for Laravel developers.
boostorg/pfr
A C++ reflection library that provides std::tuple-like methods for user-defined types without macros or boilerplate.
spatie/schema-org
A fluent builder for Schema.org types and generating ld+json for search engine optimization (SEO).
prisma/prisma-client-js
Prisma is a type-safe ORM replacement for TypeScript and Node.js developers to interact with databases.
austral/austral
Austral is a systems language with linear types and capability-based security, suitable for developers building AI-powered applications.
buzz-language/buzz
buzz is a small, lightweight statically typed scripting language written in Zig, focused on developer productivity.
alpaca-lang/alpaca
Alpaca is a functional programming language inspired by ML, designed to run on the Erlang VM.
shouzhong/Scanner
A Java library for recognizing various types of barcodes, ID cards, vehicle plates, and text from images.
go-reform/reform
A powerful ORM for Go that uses code generation for type-safe SQL queries and database interactions.
tiredofit/docker-db-backup
This Docker-based tool allows developers to easily backup multiple database types on a scheduled basis with many customizable options.
softwaremill/tapir
Rapid development of self-documenting APIs in Scala using a declarative, type-safe approach.
jshttp/mime-types
A comprehensive JavaScript utility for handling MIME types and file extensions.
MadAppGang/dingo
A meta-language for Go that adds Result types, error propagation, and pattern matching while maintaining 100% Go ecosystem compatibility
dropbox/pyannotate
A Python library that automatically generates PEP-484 type annotations for existing code.
QuiiBz/next-international
A type-safe internationalization (i18n) library for Next.js developers.
uber-go/atomic
Wrapper types for sync/atomic which enforce atomic access in Go projects
Stay in the loop
Get weekly updates on trending AI coding tools and projects.