Giters
ypcpy (Kensuke-Hinata)

Kensuke-Hinata

Geek Repo

810

followers

1k

following

9k

stars

Company:redocpot

Location:Shenzhen, China

Home Page:github.com/Kensuke-Hinata

Github PK Tool:Github PK Tool

Organizations
brokercap

ypcpy's starred repositories

nodebestpractices

:white_check_mark: The Node.js best practices list (February 2024)

Language:DockerfileLicense:CC-BY-SA-4.0Stargazers:96865Issues:1911Issues:318

d2

D2 is a modern diagram scripting language that turns text to diagrams.

Language:GoLicense:MPL-2.0Stargazers:16045Issues:57Issues:988

coder-kung-fu

开发内功修炼

Language:CLicense:Apache-2.0Stargazers:5971Issues:176Issues:6

aviatorscript

A high performance scripting language hosted on the JVM.

Language:JavaStargazers:4297Issues:171Issues:524

GoGuide

「Go语言学习指南」一份涵盖大部分 Golang 程序员所需要掌握的核心知识，拥有 Go语言教程、Go开源书籍、Go语言入门教程、Go语言学习路线。零基础学习 Go语言、Go编程，首选 GoGuide。

Stargazers:2684Issues:27Issues:7

rjvm

A tiny JVM written in Rust. Learning project

Language:RustLicense:Apache-2.0Stargazers:1410Issues:25Issues:17

haskell-must-watch

Huge list of videos, talks, courses for Haskell programming language.

Language:HaskellLicense:MITStargazers:1117Issues:82Issues:0

fused-effects

A fast, flexible, fused effect system for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:634Issues:24Issues:174

Dagger.jl

A framework for out-of-core and parallel execution

Language:JuliaLicense:NOASSERTIONStargazers:589Issues:23Issues:202

eff

Eff monad for cats - https://atnos-org.github.io/eff

Language:ScalaLicense:MITStargazers:570Issues:19Issues:67

typical

Data interchange with algebraic data types.

Language:RustLicense:NOASSERTIONStargazers:554Issues:8Issues:5

cfg-if

A if/elif-like macro for Rust #[cfg] statements

Language:RustLicense:Apache-2.0Stargazers:517Issues:13Issues:35

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Language:PythonLicense:MITStargazers:459Issues:16Issues:42

talc

A fast and flexible allocator for no_std and WebAssembly

Language:RustLicense:NOASSERTIONStargazers:390Issues:4Issues:22

freeport

Get a free and open tcp port that is ready to use

Language:GoLicense:NOASSERTIONStargazers:362Issues:5Issues:6

rustc-hash

Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure

Language:RustLicense:Apache-2.0Stargazers:319Issues:25Issues:9

xoc

XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There are two level IR representations used throughout all phases of the compilation.

Language:C++Stargazers:110Issues:29Issues:4

cljs-book

ClojureScript 入门指南

Stargazers:85Issues:7Issues:2

strawboat

A native storage format for apache arrow

Language:RustLicense:Apache-2.0Stargazers:79Issues:6Issues:19

errors

A simple error library that supports error stacks, error codes, and error chains.

Language:GoLicense:BSD-2-ClauseStargazers:55Issues:1Issues:1

gofind

gofind searches through Go source code by types.

Language:GoStargazers:48Issues:5Issues:1

tiny-std

A tiny Rust std-lib for Linux x86_64 and aarch64

Language:RustLicense:MPL-2.0Stargazers:41Issues:2Issues:1

diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Language:ScalaStargazers:35Issues:8Issues:3

cooddy

Source code (C,C++,Java) static analysis tool

Language:C++License:NOASSERTIONStargazers:34Issues:5Issues:0

JLLVM

JVM implementation using LLVM as a JIT

Language:C++License:GPL-3.0Stargazers:31Issues:1Issues:63

tunnel

Tunnel is a Pipeline Execution Engine based on C++20 coroutine

Language:C++License:Apache-2.0Stargazers:27Issues:1Issues:0

cyclist

A cyclic theorem prover framework.

Language:OCamlLicense:NOASSERTIONStargazers:27Issues:12Issues:6

CallGraph

A CallGraph Generation LLVM Pass for C and C++ program

Language:C++Stargazers:14Issues:3Issues:0

IOCoroutineScheduler

High performance IO scheduler implemented by C++

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

cita-database

The database used by CITA

Language:RustLicense:Apache-2.0Stargazers:2Issues:1Issues:10