abt8601

followers

following

stars

National Chiao Tung University

Taiwan

Po-Yi Tsai's starred repositories

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustApache-2.01387200

bounds-check-cookbook

Recipes for avoiding bounds checks in Rust, without unsafe!

Language:RustMIT8400

SummerChallenge2024Olymbits

https://www.codingame.com/contests/summer-challenge-2024-olymbits

Language:Smarty1200

awesome-rust

A curated list of Rust code and resources.

Language:RustCC0-1.04473300

cargo-semver-checks

Scan your Rust crate for semver violations.

Language:RustApache-2.0104900

svd2rust

Generate Rust register maps (`struct`s) from SVD files

Language:RustApache-2.068200

form

A utility to split autogenerated rust files into human-workable projects with the correct _form_

Language:RustMIT3200

proptest

Hypothesis-like property testing for Rust

Language:RustApache-2.0163800

cargo-deny

❌ Cargo plugin for linting your dependencies 🦀

Language:RustApache-2.0163400

r9

The R9 operating system

Language:RustMIT43900

clash-search

CodinGame puzzle search

Language:Svelte1000

codeguessr

🤔 Like GeoGuessr but for code. An open source project quiz.

Language:TypeScript7900

book

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

Apache-2.0107000

xv6-public

xv6 OS

Language:CNOASSERTION761500

awesome-embedded-rust

Curated list of resources for Embedded and Low-level development in the Rust programming language

NOASSERTION589600

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellApache-2.0261800

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION9525600

Marble-Marcher-Community-Edition

A community-developed version of the original Marble Marcher - a fractal physics game.

Language:C++GPL-2.025700

rand

A Rust library for random number generation.

Language:RustNOASSERTION161000

zotero

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

Language:JavaScriptNOASSERTION968100

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyAGPL-3.04644400

lambda-8cc

x86 C compiler written in untyped lambda calculus

Language:Common LispMIT61200

Rust

All Algorithms implemented in Rust

Language:RustMIT2162400

pybind11

Seamless operability between C++11 and Python

Language:C++NOASSERTION1518300

curl

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features

Language:CNOASSERTION3491700

vscode-shellcheck

Integrates ShellCheck into VS Code, a linter for Shell scripts.

Language:TypeScriptMIT77200

stack

The Haskell Tool Stack

Language:HaskellBSD-3-Clause396100

GithubCity

Create a 3D city from your GitHub contributions 🏙

Language:JavaScriptApache-2.0109000

hadolint

Dockerfile linter, validate inline bash, written in Haskell

Language:HaskellGPL-3.01009500

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellGPL-3.03564100