Interactive Coq Proofs in Vim

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Test your prompts, agents, and RAGs. AI Red teaming, pentesting, and vulnerability scanning for LLMs. Compare performance of GPT, Claude, Gemini, Llama, and more. Simple declarative configs with co…

Open-source high-performance RISC-V processor

An incremental parsing system for programming tools

The Herd toolsuite to deal with .cat memory models (version 7.xx)

The efficient SMT-based context-bounded model checker (ESBMC)

Sail architecture definition language

rmem public repo

Qemu KVM(Kernel Virtual Machine)学习笔记

Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)

2025年春季OS课程Slides\实验指导\思维导图\挑战项目等 https://learningos.github.io/os-lectures/

CSim^2 compositional verification framework

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

Open-source weight and body metrics tracker, with support for Bluetooth scales

an educational compiler intermediate representation

advanced compilers

Advent of Code 2023

Public open-source code of malware Stuxnet (aka MyRTUs).

simple terminal UI for git commands

Manipulate audio with a simple and easy high level interface

The Roguelike Toolkit (RLTK), implemented for Rust.

The source code that accompanies Hands-on Rust: Effective Learning through 2D Game Development and Play by Herbert Wolverson

An all in one plugin for converting text case in Neovim

Lean 4 tutorial files

autopairs for neovim written in lua

unimpaired.vim: Pairs of handy bracket mappings

Neovim motions on speed!