Explore Projects
Discover 587 open source projects
Showing 521-540 of 587 projects
brownplt/pyret-lang
The Pyret language, a programming language focused on education and compiler development.
victorlei/smop
A Python compiler that translates MATLAB code to Python, making it easier to migrate between the two languages.
CakeML/cakeml
A verified implementation of the Standard ML programming language, with a focus on formal semantics and verification.
sablejs/sablejs
Sable.js is a safer and faster ECMA5.1 interpreter written in JavaScript, useful for building secure sandboxed environments.
WebAssembly/proposals
Tracking proposals for the WebAssembly standard, a low-level, portable, and efficient compilation target.
terrajobst/minsk
A handwritten compiler in C# that illustrates basic concepts of compiler construction and language tooling.
kennethleungty/AWS-Certified-Cloud-Practitioner-Notes
AWS Cloud Practitioner certification preparation notes compiled from AWS e-learning resources.
rswier/swieros
A tiny hand-crafted CPU emulator, C compiler, and Operating System for developers interested in low-level systems programming.
nakkaya/ferret
Ferret is a free software Lisp implementation for real-time embedded control systems.
EmilStenstrom/justhtml
A pure Python HTML5 parser with a simple API and no external dependencies.
HerringtonDarkholme/vue-compiler
A Rust reimplementation of Vue's template compiler, providing a high-performance alternative for Vue.js projects.
remoteinterview/compilebox
A JavaScript-based sandbox for compiling and running user-submitted code in a Docker-based environment.
rsms/estrella
Estrella is a lightweight and versatile build tool based on the esbuild compiler, useful for vibe coders.
wartremover/wartremover
Wartremover is a flexible Scala code linting tool that helps maintain code quality and consistency.
TCM-Course-Resources/Open-Source-Intellingence-Resources
A curated collection of open-source resources for open-source intelligence (OSINT) tools and techniques.
qmonnet/rbpf
Rust-based virtual machine and JIT compiler for eBPF programs, useful for packet filtering and networking tools.
marler8997/zigup
A tool for downloading and managing Zig compilers, making it easier for Zig developers to set up their development environment.
leostera/caramel
Caramel is a functional programming language for building type-safe, scalable, and maintainable applications.
cloudflare/wirefilter
An execution engine for Wireshark-like filters, built in Rust for high-performance firewall and networking applications.
nifanfa/MOOS
A C# x64 operating system programming project using .NET native ahead-of-time compilation technology.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.