rikosellic

rikosellic's Stars

• moonbitlang/moonbit-docs

  The docs of MoonBit programming language

  Language:TypeScript99350

• Aleksoid1978/MPC-BE

  MPC-BE – универсальный проигрыватель аудио и видеофайлов для операционной системы Windows.

  Language:C2.1k86

• illsk1lls/ZipRipper

  A CMD script to crack password protected ZIP, RAR, 7z and PDF files, using JohnTheRipper.

  Language:Batchfile29334

• CruiseTian/action-hub

  一些有趣的github action集合

  Language:Batchfile12

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.1k83

• utaal/verified-nrkernel

  Language:Rust81

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq39513

• microsoft/verismo

  A formally verified security module for AMD confidential VMs

  Language:Rust315

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.1k62

• xqyww123/phi-system

  Language:Isabelle5

• TuGraph-family/OSGraph

  Deep Insight into open-source graph on GitHub.

  Language:Java4411

• rust-lang-cn/nomicon-zh-Hans

  Rust 死灵书简体中文翻译

  Language:Handlebars61053

• N0I0C0K/PowerTranslator

  一个 PowerToys Run 的翻译插件/a translate plugin for PowerToys Run

  Language:C#38826

• githubnext/monaspace

  An innovative superfamily of fonts for code

  Language:TypeScript13.8k228

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.2k1k

• umijs/mako

  An extremely fast, production-grade web bundler based on Rust.

  Language:Rust1.7k64

• asterinas/asterinas

  Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

  Language:Rust81683

• lin-ycv/EverythingPowerToys

  Everything search plugin for PowerToys Run

  Language:C#2.2k57

• microsoft/PowerToys

  Windows system utilities to maximize productivity

  Language:C#109k6.5k

• forhappy/Cplusplus-Concurrency-In-Practice

  A Detailed Cplusplus Concurrency Tutorial 《C++ 并发编程指南》

  Language:C++5.3k1.5k

• 2dust/v2rayNG

  A V2Ray client for Android, support Xray core and v2fly core

  Language:Kotlin34.4k5.3k

• 2dust/v2rayN

  A GUI client for Windows, support Xray core and v2fly core and others

  Language:C#67k11.2k

• rikosellic/ExplicitLAM

  Coq formalization of lambda calculus theories with explicit names. (SETTA'23)

  Language:Coq1

• zhr1502/CDCL-solver

  An simple CDCL SAT-solver

  Language:C++11

• wangjwchn/sparcv8-coq

  Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)

  Language:Coq6

• PrincetonUniversity/VST

  Verified Software Toolchain

  Language:Coq43692

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle587102

• kframework/X86-64-semantics

  Semantics of x86-64 in K

  Language:Assembly13611

• benx1n/HikariBot

  战舰世界HikariBot，支持战绩查询，基于Nonebot2全平台兼容

  Language:Python17824

• Trinkle23897/tuixue.online-visa

  https://tuixue.online/visa/ A Real-time Display of U.S. Visa Appointment Status Website 预约美帝签证各个签证处最早时间的爬虫

  Language:Python806123