An LLVM IR dataset for data-driven compiler optimization research

C-Reduce, a C and C++ program reducer

A modern Neovim configuration with full battery for Python, Lua, C++, Markdown, LaTeX, and more...

Proofs in Coq for the book Reflective Programs in Tree Calculus

Tools for analyzing and browsing Tarmac instruction traces.

Application Binary Interface for the Arm® Architecture

Rust library to use aarch64 specific functionality and registers.

💪 User-generated content for Git-powered websites

Yet another publishing tool for minimalist photographers.

Experimental operating system written in Zig

Low level access to processors using the AArch64 execution state.

Lightweight, modular, and extensible library for functional programming.

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

🚀 Launch.nvim is modular starter for Neovim.

The Radeon GPU Analyzer (RGA) is an offline compiler and code analysis tool for Vulkan, DirectX, OpenGL, and OpenCL.

A C++ header-only parser for the PLY file format. Parse .ply happily!

A fast and easy-to-use PLY parsing library in a single c++11 header and cpp file

A gameboy emulator in several different languages

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Circuit IR Compilers and Tools

An interpreter for Rust's mid-level intermediate representation

DOOM Open Source Release

Odin Programming Language

Boost.Geometry - Generic Geometry Library | Requires C++14 since Boost 1.75

A computer science textbook

The missing CMake project initializer

📚 Learn to write an embedded OS in Rust 🦀

Phantom: Persistent Operating System

A modern proof language