Explore Projects
Discover 140 open source projects
Showing 61-80 of 140 projects
artichoke/artichoke
Artichoke is a Ruby implementation made with Rust, providing a fast and efficient way to run Ruby code.
rubinius/rubinius
The Rubinius Language Platform is a virtual machine and programming language implementation.
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
SerenityOS/jakt
The Jakt Programming Language, a modern systems programming language developed as part of the SerenityOS project.
PlummersSoftwareLLC/Primes
A collection of prime number projects in over 100 programming languages to compare their speed and cleverness.
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
beefytech/Beef
Beef is a powerful, open-source programming language focused on performance and ease of use for developers.
the-akira/Computer-Science-Resources
A comprehensive collection of resources spanning key areas of computer science, including AI, security, and more.
merrymercy/awesome-tensor-compilers
A curated list of awesome compiler projects and papers for tensor computation and deep learning.
flix/flix
The Flix Programming Language is a statically-typed, functional, and logic-based language that runs on the JVM.
lining808/CS-Ebook
A curated list of high-quality, classic computer science books in Chinese.
sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units.
BedirT/ACM-ICPC-Preparation
A comprehensive guide for preparing and practicing for the ACM-ICPC programming competition.
pedropark99/zig-book
An open, technical and introductory book for the Zig programming language.
MinhasKamal/CreepyCodeCollection
A collection of creepy, obfuscated, and esoteric code snippets, ideal for code golf and programming language enthusiasts.
NARKOZ/guides
A curated collection of design and development guides for various programming languages and best practices.
edubart/nelua-lang
Nelua is a minimal, efficient, statically-typed and meta-programmable systems programming language inspired by Lua.
mattwparas/steel
An embedded Scheme interpreter in Rust, useful for scripting and building domain-specific languages.
rune-rs/rune
An embeddable dynamic programming language for Rust developers to extend their applications.
leanprover/lean3
Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.