zjkmxy

zjkmxy's Stars

• hacklex/CuteCAS

  Abstract Algebra for FStar

  Language:F*71

• microsoft/Zen

  Zen is a constraint solving library for .NET

  Language:C#8812

• zyedidia/generic

  A collection of generic data structures written in Go.

  Language:Go1.3k77

• CodeEditApp/CodeEdit

  📝 CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.

  Language:Swift21.1k1k

• The-Run-Philosophy-Organization/run

  润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新**人的核心宗教，核心信念。

  31.7k2.6k

• xerpi/vita2hos

  [WIP] PlayStation Vita to Horizon OS (Nintendo Switch OS) translation layer

  Language:C1.1k32

• OI-wiki/OI-wiki

  :star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

  Language:TypeScript21.2k4k

• danningyu/YaNFD

  Language:Go1

• karranb/functional-spaceship-game

  Language:JavaScript242

• 623637646/996.Leave

  逃离996

  6.3k370

• abseil/abseil-cpp

  Abseil Common Libraries (C++)

  Language:C++15k2.6k

• M2Team/NanaZip

  The 7-Zip derivative intended for the modern Windows experience

  Language:C++8.8k222

• gizak/termui

  Golang terminal dashboard

  Language:Go13.2k786

• microsoft/PowerToys

  Windows system utilities to maximize productivity

  Language:C#111k6.5k

• pulsejet/ndn-play

  Web simulator for NDN

  Language:TypeScript122

• named-data/YaNFD

  Yet another Named Data Networking Forwarding Daemon

  Language:Go1210

• named-data/python-ndn

  An NDN client library with AsyncIO support in Python 3

  Language:Python2418

• HoTT-Intro/Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  Language:Agda1235

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k233

• lewissbaker/cppcoro

  A library of C++ coroutine abstractions for the coroutines TS

  Language:C++3.4k468

• JinghaoZhao/NDN-server-template

  Language:Python1

• Shirakumo/trial

  A fully-fledged Common Lisp game engine

  Language:Common Lisp1k49

• pollere/DCT

  Defined-trust Communications Toolkit for secure multicast transport

  Language:C++125

• named-data/StateVectorSync

  Specification and API description of the State Vector Sync (SVS) protocol

  8

• eric135/go-ndn

  Language:Go21

• kaitai-io/kaitai_struct

  Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby

  Language:Shell4k197

• vugu/vugu

  Vugu: A modern UI library for Go+WebAssembly (experimental)

  Language:Go4.9k174

• kiwiirc/kiwiirc

  🥝 Next generation of the Kiwi IRC web client

  Language:Vue872216

• tianyuan129/ndn-plugnplay

  Plug-n-Play package for NDN

  Language:JavaScript2

• maidsafe/sn_routing

  Routing - specialised storage DHT

  Language:Rust27881