Lists (3)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
The Frenetic Programming Language and Runtime System
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
Penpot: The open-source design tool for design and code collaboration
A playbook for systematically maximizing the performance of deep learning models.
Microkit - A simple operating system framework for the seL4 microkernel
wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.
r1ru / WasmOS
Forked from nuta/microkernel-bookA proof-of-concept microkernel that runs WebAssembly natively.
💨 Fast, Async-ready, Openapi, type hints based framework for building APIs
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 develo…
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
A fast and secure runtime for WebAssembly
Formal Proof of Normalisation in System F
WebAssembly specification, reference interpreter, and test suite.
A python tool to automatically rename the pdf files of scientific publications by looking up the publication metadata on the web.
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot
Official Code for DragGAN (SIGGRAPH 2023)