todo anschauen
Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
Formal Proof of Normalisation in System F
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
π¨ Fast, Async-ready, Openapi, type hints based framework for building APIs
A proof-of-concept microkernel that runs WebAssembly natively.
wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.
Microkit - A simple operating system framework for the seL4 microkernel
A playbook for systematically maximizing the performance of deep learning models.
Penpot: The open-source design tool for design and code collaboration
The Frenetic Programming Language and Runtime System
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Creusot helps you prove your code is correct in an automated fashion.
A static verifier for Rust, based on the Viper verification infrastructure.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
LTeX Language Server: LSP language server for LanguageTool πβοΈ with support for LaTeX π, Markdown π, and others