k32

k32's Stars

• XTLS/Xray-core

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

  Language:Go24.6k3252.2k3.8k

• wolfpld/tracy

  Frame profiler

  Language:C++9.8k86526655

• klange/toaruos

  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:C6.1k258206476

• Speykious/cve-rs

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

  Language:Rust4k2428101

• coq-community/fourcolor

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

  Language:Coq16014420

• CertiCoq/certicoq

  A Verified Compiler for Gallina, Written in Gallina

  Language:Coq137151324

• emqx/mria

  Asynchronously replicated Mnesia-like database for Erlang/Elixir

  Language:Erlang120143723

• mit-pdos/daisy-nfsd

  DaisyNFS is an NFS server verified using Dafny and Perennial.

  Language:Dafny291104

• aman-goel/ic3po

  IC3PO: IC3 for Proving Protocol Properties

  Language:Python25234

• k32/Lee

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

  Language:Erlang14251

• mikkelmilo/rooster-spec

  Automated Theory Exploration in Coq using Haskell's QuickSpec

  Language:Coq4111

• zk-phi/company-same-mode-buffers

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

  Language:Emacs Lisp4311