womeier

git-pile

Stacked diff support for GitHub workflows

DeTikZify

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

typst

A new markup-based typesetting system that is powerful and easy to learn.

llama-from-scratch

Llama from scratch, or How to implement a paper without crying

frenetic

The Frenetic Programming Language and Runtime System

coqtheorem

A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.

penpot

Penpot: The open-source design tool for design and code collaboration

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

seL4

The seL4 microkernel

microkit

Microkit - A simple operating system framework for the seL4 microkernel

wizer

The WebAssembly Pre-Initializer

FlocqLecture

wassail

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

coq-rust-extraction

Coq plugin for extracting Rust code

WasmOS

A proof-of-concept microkernel that runs WebAssembly natively.

django-ninja

💨 Fast, Async-ready, Openapi, type hints based framework for building APIs

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

VeriFFI

VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

wasmtime

A fast and secure runtime for WebAssembly

SystemF-Normalisation

Formal Proof of Normalisation in System F

spec

WebAssembly specification, reference interpreter, and test suite.

pdf-renamer

A python tool to automatically rename the pdf files of scientific publications by looking up the publication metadata on the web.

NvChad

Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

lazy.nvim

💤 A modern plugin manager for Neovim

copilot.lua

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

DragGAN

Official Code for DragGAN (SIGGRAPH 2023)

Schools

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

roop

one-click face swap

webassembly-language-runtimes

Wasm Language Runtimes provides popular language runtimes (Ruby, Python, …) precompiled to WebAssembly that are tested for compatibility and kept up to date when new versions of upstream languages are released