OneMoreSecond's Stars
Project-DARC/DARC
Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.
nottherealsanta/ganimede
Arbeiter-PKU/HandlingYourJob
How to handle campus recruitment. 校招感悟
geekan/HowToLiveLonger
程序员延寿指南 | A programmer's guide to live longer
Anduin2017/HowToCook
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
rust-lang/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
alice548/-
分享个人有关文化大革命的资料或是文章
v2fly/v2ray-core
A platform for building proxies to bypass network restrictions.
fastapi/typer
Typer, build great CLIs. Easy to code. Based on Python type hints.
Hedgehog-Computing/hedgehog-lab
Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.
lightvector/KataGo
GTP engine and self-play learning in Go
sanderland/katrain
Improve your Baduk skills by training with KataGo!
dotnet/csharplang
The official repo for the design of the C# programming language
Z3Prover/z3
The Z3 Theorem Prover
microsoft/pyright
Static Type Checker for Python
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
microsoft/vscode
Visual Studio Code
dotnet/msbuild
The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.
mozilla/gecko-dev
Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: https://firefox-source-docs.mozilla.org/contributing/contribution_quickref.html
dotnet/aspnetcore
ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.
UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
microsoft/terminal
The new Windows Terminal and the original Windows console host, all in the same place!
marian-nmt/marian
Fast Neural Machine Translation in C++
marian-nmt/marian-dev
Fast Neural Machine Translation in C++ - development repository
pytorch/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
tensorflow/models
Models and examples built with TensorFlow
PowerShell/PowerShell
PowerShell for every system!
dotnet/coreclr
CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.
dotnet/corefx
This repo is used for servicing PR's for .NET Core 2.1 and 3.1. Please visit us at https://github.com/dotnet/runtime