Explore Projects
Discover 2,040 open source projects
Showing 641-660 of 2,040 projects
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
claration/Feather
Free on-device iOS/iPadOS application manager/installer using Apple Developer Program certificates
microsoft/verona
A research programming language for concurrent ownership, focused on systems-level programming.
rubjo/victor-mono
A free, open-source programming font with cursive italics and ligatures for vibe coders.
ByteLegend/ByteLegend
A developer discovery platform focused on vibe coders, providing tools and resources for AI-powered coding.
xiaowenxia/embedded-notes
This repository provides notes and resources for embedded Linux software development, including drivers, C programming, and IoT.
loveBabbar/CodeHelp-DSA-Busted-Series
This is a repository containing programs taught in Codehelp's DSA Busted Series for learning data structures and algorithms.
Orange-Cyberdefense/arsenal
A Python-based utility to quickly access and launch various hacking tools for security professionals.
GitbookIO/javascript
GitBook teaching programming basics with JavaScript for beginners.
Frege/frege
Frege is a Haskell-like language that brings purely functional programming to the Java platform.
Kotlin/KEEP
Kotlin Evolution and Enhancement Process, a repository for the Kotlin programming language evolution.
nslogx/Gitter
Gitter is a GitHub client for WeChat mini-programs, providing a visually appealing interface for developers.
zhblue/hustoj
Open source online judge platform for competitive programming, used for ACM/ICPC and NOIP training
jin-yufeng/mp-html
A rich-text editor component for mini-programs that supports rendering and editing HTML across multiple platforms.
google/tarpc
An RPC framework for Rust with a focus on ease of use for building distributed applications.
btroncone/learn-rxjs
Clear examples, explanations, and resources for learning RxJS, a powerful reactive programming library.
gvergnaud/hotscript
A TypeScript library for powerful type-level programming and transformation.
audiorouterdev/audio-router
Audio Router is a C++ library that allows routing audio from programs to different audio devices.
luarocks/luarocks
LuaRocks is the package manager for the Lua programming language, enabling easy installation and management of Lua modules.
elixirschool/elixirschool
Elixir School is an educational platform for learning and mastering the Elixir programming language.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.