The math library of Lean 4

The Caml Light implementation of the Caml language

SML reference interpreter

The core OCaml system: compilers, runtime system, base libraries

Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.

Klassic is A Programming Language which enables Object-Functional Programming

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

A functional programming language based on algebraic effect handlers

A library for programming with Algebraic Effects in F#

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

A C++ parser combinator library.

Write expressive, high-performance parsers with ease.

A curated list of Rust code and resources.

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

Experimental AArch64 Emulator Written in C++

mold: A Modern Linker 🦠

The bear's interpreter of caml language

Programming Languages Zoo

Tools to process ARM's Machine Readable Architecture Specification

Example implementation of Arm's Architecture Specification Language (ASL)

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

HLE 3DS emulator

An ARM dynamic recompiler.

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

Instruction decoder generator

C++ parsing DSL

A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference