ypcpy (Kensuke-Hinata)

Kensuke-Hinata

Geek Repo

Company:redocpot

Location:Shenzhen, China

Home Page:github.com/Kensuke-Hinata

Github PK Tool:Github PK Tool


Organizations
brokercap

ypcpy's starred repositories

verso

A web browser that plays old world blues to build new world hope

Language:RustLicense:Apache-2.0Stargazers:4483Issues:31Issues:60

killport

A command-line tool to easily kill processes running on a specified port.

Language:RustLicense:MITStargazers:1678Issues:10Issues:15

teo

Schema-driven web server framework.

Language:RustLicense:Apache-2.0Stargazers:1379Issues:14Issues:52

rustypaste

A minimal file upload/pastebin service.

Language:RustLicense:MITStargazers:766Issues:5Issues:61

Modern-Cpp-templates-tutorial

现代C++模板教程

Language:C++License:NOASSERTIONStargazers:561Issues:9Issues:18

llvm-tutorial-cn

Simplified Chinese translation for the LLVM Tutorial

libminizinc

The MiniZinc compiler

Language:C++License:NOASSERTIONStargazers:497Issues:39Issues:775

string-view-lite

string_view lite - A C++17-like string_view for C++98, C++11 and later in a single-file header-only library

Language:C++License:BSL-1.0Stargazers:420Issues:14Issues:25

Fiwix

A UNIX-like kernel for the i386 architecture

Language:CLicense:NOASSERTIONStargazers:409Issues:19Issues:51

rye

homoiconic dynamic programming language with some new ideas

Language:GoLicense:Apache-2.0Stargazers:407Issues:12Issues:24

valida

A STARK-based VM focused on code reuse, performance, and modularity

Language:RustLicense:Apache-2.0Stargazers:273Issues:12Issues:43

ModernCpp-ConcurrentProgramming-Tutorial

现代C++并发编程教程

Language:C++License:NOASSERTIONStargazers:263Issues:9Issues:10

Daily_CF_Problems

To practice your competitive programming skills, try solving daily Codeforces problems!

vortex

A toolkit for working with compressed Arrow in-memory, on-disk, and over-the-wire. "The LLVM of file formats"

Language:RustLicense:Apache-2.0Stargazers:193Issues:8Issues:178

recursion

Stack safe and expressive recursion in Rust

candystore

A very fast Key-Value store in pure rust

Language:RustLicense:Apache-2.0Stargazers:85Issues:0Issues:0

Foundation

Lean4 Logic Formalization

Language:LeanLicense:Apache-2.0Stargazers:68Issues:6Issues:26

cold

The cold linker

Language:RustLicense:MITStargazers:66Issues:0Issues:0

vertex_cover

vertex cover solver

Language:JavaLicense:MITStargazers:28Issues:2Issues:1

Software-Security-Analysis

Software Security Analysis Course

Language:C++License:GPL-3.0Stargazers:25Issues:3Issues:1

shoka

Code Snippets for Competitive Programming

Language:C++Stargazers:19Issues:1Issues:0

fvs

feedback vertex set solver

Language:JavaLicense:MITStargazers:10Issues:2Issues:0

SimPL

SimPL is a simplified dialect of ML, which can be used for both functional and imperative programming.

Language:JavaLicense:GPL-3.0Stargazers:4Issues:3Issues:0

kelvinlau-code

Kelvin Lau's personal code

Language:CStargazers:3Issues:0Issues:0
Language:C++Stargazers:3Issues:2Issues:0
Language:C++Stargazers:2Issues:0Issues:0

go

Kelvinlau's go toy libraries.

Language:GoLicense:NOASSERTIONStargazers:2Issues:2Issues:0
Language:HTMLLicense:UnlicenseStargazers:2Issues:0Issues:0

rlib

A collection of rust algorithms for competitive programming

Language:RustLicense:MITStargazers:1Issues:0Issues:0