Beast code in Giters

k32's starred repositories

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Language:RustNOASSERTION377100

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

Language:DafnyMIT2800

tracy

Frame profiler

Language:C++NOASSERTION886500

company-same-mode-buffers

Company backend like `ac-source-words-in-same-mode-buffers'

Language:Emacs Lisp400

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

Language:CNCSA606000

rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

Language:CoqGPL-3.0400

Xray-core

Xray, Penetrates Everything. Also the best v2ray-core, with XTLS support. Fully compatible configuration.

Language:GoMPL-2.02326500

Lee

THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang

Language:ErlangUnlicense1500

ic3po

IC3PO: IC3 for Proving Protocol Properties

Language:PythonGPL-3.02500

certicoq

A Verified Compiler for Gallina, Written in Gallina

Language:CoqMIT13500

fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Language:CoqNOASSERTION15600

mria

Asynchronously replicated Mnesia-like database for Erlang/Elixir

Language:ErlangApache-2.011400