Giters
Codevka

Codevka

Geek Repo

54

followers

94

following

194

stars

Company:Beihang University

Location:Beijing

Github PK Tool:Github PK Tool

Codevka's starred repositories

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Language:ZigLicense:NOASSERTIONStargazers:72426Issues:606Issues:8091

system-design-101

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

License:NOASSERTIONStargazers:61169Issues:814Issues:46

my-tv

我的电视 电视直播软件，安装即可使用

Language:CLicense:Apache-2.0Stargazers:29260Issues:210Issues:888

LxgwWenKai

An open-source Chinese font derived from Fontworks' Klee One. 一款开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。

Language:BatchfileLicense:OFL-1.1Stargazers:17118Issues:89Issues:122

monaspace

An innovative superfamily of fonts for code

Language:TypeScriptLicense:OFL-1.1Stargazers:13370Issues:54Issues:191

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

Language:RustLicense:Apache-2.0Stargazers:7516Issues:104Issues:1903

maple-font

[try V7!] Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and command line. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1

Language:PythonLicense:OFL-1.1Stargazers:4299Issues:23Issues:188

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:3945Issues:119Issues:2509

zhuque

朱雀仿宋/朱雀宋朝/Zhuque Fangsong: An open-source Fangsong typeface project

Language:ShellLicense:OFL-1.1Stargazers:2636Issues:28Issues:30

v8-perf

⏱️ Notes and resources related to v8 and thus Node.js performance

Language:JavaScriptStargazers:2210Issues:93Issues:12

geist-font

License:OFL-1.1Stargazers:2208Issues:15Issues:77

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2118Issues:24Issues:3351

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2094Issues:93Issues:9

perf-book

The book "Performance Analysis and Tuning on Modern CPU"

Language:TeXLicense:CC0-1.0Stargazers:2035Issues:62Issues:19

awesome-engineering-games

A curated list of engineering-related video games rated Very Positive or higher on Steam

License:CC0-1.0Stargazers:1550Issues:24Issues:13

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1344Issues:23Issues:254

Tai-e

An easy-to-learn/use static analysis framework for Java

Language:JavaLicense:LGPL-3.0Stargazers:1323Issues:30Issues:106

pacstall

An AUR-inspired package manager for Ubuntu

Language:ShellLicense:GPL-3.0Stargazers:1249Issues:12Issues:204

wasm-tools

CLI and Rust libraries for low-level manipulation of WebAssembly modules

Language:RustLicense:Apache-2.0Stargazers:1238Issues:31Issues:325

udev-gothic

UDEV Gothic は、ユニバーサルデザインフォントのBIZ UDゴシックと、 開発者向けフォントの JetBrains Mono を合成した、プログラミング向けフォントです。

Language:PythonLicense:NOASSERTIONStargazers:1216Issues:31Issues:20

libunwind

libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)

Language:CLicense:MITStargazers:953Issues:32Issues:332

moonbit-docs

The docs of MoonBit programming language

Language:JavaScriptLicense:NOASSERTIONStargazers:897Issues:20Issues:99

sekai-stickers

Project Sekai sticker maker

Language:JavaScriptLicense:MITStargazers:394Issues:4Issues:7

history

History of type theory (Chinese).

Language:TeXStargazers:311Issues:9Issues:6

regalloc2

A new register allocator

Language:RustLicense:Apache-2.0Stargazers:196Issues:19Issues:31

japp

Language:JavaLicense:Apache-2.0Stargazers:81Issues:5Issues:0

rfcs

RFC process for Bytecode Alliance projects

License:Apache-2.0Stargazers:60Issues:42Issues:4

cmmc

An unofficial reference implementation of the C Minus Minus Compiler

Language:C++License:Apache-2.0Stargazers:42Issues:5Issues:0

SeqGAN_Poem

Generate Chinese Poem using SeqGAN

Language:PythonStargazers:40Issues:2Issues:5

himself65-way

面包之道

Stargazers:20Issues:2Issues:3