The MaPLe compiler for efficient and scalable parallel functional programming

Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited author…

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

Refinement Types for Rust

The Definition of Standard ML (1990)

Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

A little web app that helps you copy+paste syntax-highlighted code into slide decks.

american fuzzy lop - a security-oriented fuzzer

SeaHorn Verification Framework

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

Mathematical Components

COSE 312 Compilers

Emscripten: An LLVM-to-WebAssembly Compiler

⭐ Vim for Visual Studio Code

Vim mode for VSCode, powered by Neovim

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

WebAssembly specification, reference interpreter, and test suite.

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

My vim-setup (init.vim, plugin, etc.)

쉬운 전문용어 모음 플랫폼

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…

The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search