Explore Projects
Discover 167 open source projects
Showing 61-80 of 167 projects
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
chaosprint/glicol
A graph-oriented live coding language and audio DSP library written in Rust for music and audio applications.
matthewpalmer/Locksmith
Locksmith is a powerful, protocol-oriented library for working with the keychain in Swift.
guillaumeblanc/ozz-animation
Open source C++ skeletal animation library and toolset for game and graphics development.
PMSI-AlignAlytics/dimple
An object-oriented API for creating interactive data visualizations for business analytics.
north2016/T-MVP
An Android AOP (Aspect-Oriented Programming) architecture project that uses Apt, AspectJ, and Javassist, built on Realm, Databinding, MVP, Retrofit, and RxJava2.
design-patterns-in-ruby/design-patterns-in-ruby
A collection of design pattern examples in Ruby to help developers understand object-oriented programming principles.
vietnam-devs/coolstore-microservices
A full-stack .NET microservices build on Dapr and Tye for cloud-native, service-oriented architecture.
marcelgsantos/learning-oop-in-php
A collection of resources to learn object-oriented programming and related concepts for PHP developers.
trailblazer/reform
A Ruby library that provides a decoupled and object-oriented approach to form handling.
ruslanskorb/RSKImageCropper
An iOS library for image cropping, similar to the Contacts app, with support for landscape orientation.
wesdoyle/design-patterns-explained-with-food
A C# library that provides real-world examples of the Gang of Four design patterns using food-related businesses.
Pyomo/pyomo
Pyomo is a Python-based open-source software package for modeling and solving optimization problems.
panpf/sketch
Sketch is a powerful image loading library for Compose Multiplatform and Android View, supporting GIF, SVG, video thumbnails, and more.
crownengine/crown
A cross-platform game engine designed for flexibility, performance, and fast iterations.
gkz/LiveScript
LiveScript is a language that compiles to JavaScript, offering expressive, functional-style programming with reduced boilerplate.
google-research-datasets/Objectron
A dataset of annotated 3D object videos for training computer vision and augmented reality models.
bingoogolapple/BGASwipeBackLayout-Android
Android Activity swipe back layout with support for various styles and orientations.
KnpLabs/php-github-api
A simple, tested, and documented PHP client for the GitHub API.
idaholab/moose
A powerful multiphysics simulation environment for developing complex computational models.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.