PDF Command Line Tools Source

OCaml library for reading, writing and modifying PDF files

A language with lexical effect handlers and lightweight effect polymorphism

A collaborative bibliography of work related to the theory and practice of computational effects

multi-shot continuations in OCaml

Frank compiler

A collection of resources for learning type theory and type theory adjacent fields.

A simple parser combinator library for Ocaml

An overlay on Eglot for editing OCaml code using LSP

Martin-Löf type theory + W-types implemented in C (WIP)

Conventions supporting interoperatibility between tools working with WebAssembly.

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…

Static typechecker for Erlang

Simple Set-Theoretic Types library

Wasm SpecTec specification tools

🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell

📚 A collection of resources about supercompilation

a practical Scheme compiler

WebAssembly specification, reference interpreter, and test suite.

Adventures in being positively negative when deciding things in Idris.

Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Lad…

Tools for a compilers course

A toy example of a verified compiler.

Demo for dependent types + runtime code generation

Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.

A superoptimizer for LLVM IR

The Boomerang Bidirectional Programming Language