Explore Projects
Discover 140 open source projects
Showing 41-60 of 140 projects
goq/telegram-list
Lists and provides information about various Telegram groups, channels, and bots for developers.
gopl-zh/gopl-zh.github.com
This is a Chinese translation of the classic Go programming language book 'The Go Programming Language'.
ProvableHQ/leo
A programming language for formally verified, zero-knowledge applications
samuelmtimbo/unit
Next Generation Visual Programming System for building reactive, functional, and dataflow applications.
google/wuffs
Wrangling Untrusted File Formats Safely: A memory-safe C library for parsing and manipulating untrusted file formats.
marcobambini/gravity
Gravity is a dynamic, object-oriented, embeddable programming language written in C and suitable for developers building with AI tools.
appcypher/awesome-wasm-langs
A curated list of languages that compile directly to or have their VMs in WebAssembly, useful for vibe coders.
evhub/coconut
Simple, elegant, Pythonic functional programming compiler and language extension.
mint-lang/mint
Mint is a refreshing programming language for building modern, type-safe, and performant web frontends.
ballerina-platform/ballerina-lang
The Ballerina Programming Language, a cloud-native, statically-typed, and concurrent programming language.
Lax/Learn-iOS-Swift-by-Examples
A curated collection of Swift learning resources for iOS development, including official examples and community projects.
d5/tengo
A fast, embeddable scripting language written in Go for building applications and services.
locutusjs/locutus
A JavaScript library that brings standard libraries from other programming languages to JavaScript for educational purposes.
GitbookIO/javascript
GitBook teaching programming basics with JavaScript for beginners.
p-org/P
The P programming language, a formal methods-focused language for building distributed, event-driven systems
emojicode/emojicode
A programming language that's bursting with emojis, allowing developers to build AI-powered applications.
gluon-lang/gluon
Gluon is a static, type-inferred and embeddable programming language written in Rust for building compilers and language tooling.
TheAlgorithms/Algorithms-Explanation
A collection of popular algorithms explained in simple language with examples and implementation resources.
dlang/dmd
A fast, native, and open-source D programming language compiler for building high-performance applications.
jank-lang/jank
A native Clojure dialect hosted on LLVM with seamless C++ interop, designed for vibe coders.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.