bsbds

bsbds's Stars

• jonathanGB/Unbounded-Interval-Tree

  Interval Tree In Rust

  Language:Rust152

• bsbds/egress

  UDP/TCP tunnel over the QUIC protocol

  Language:Rust9

• jepsen-io/elle

  Black-box transactional safety checker based on cycle detection

  Language:Isabelle62635

• anishathalye/porcupine

  A fast linearizability checker written in Go 🔎

  Language:Go86350

• jepsen-io/knossos

  Verifies the linearizability of experimentally accessible histories.

  Language:Clojure39531

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19k3k

• Anduin2017/HowToCook

  程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

  Language:Dockerfile64.6k8.6k

• bsbds/dirtio

  A simple asynchronous runtime for Rust

  Language:Rust1

• EbTech/rust-algorithms

  Common data structures and algorithms in Rust

  Language:Rust3.7k220

• kenkoooo/competitive-programming-rs

  Algorithm Snippets for Competitive Programming in Rust

  Language:Rust26315

• polybar/polybar

  A fast and easy-to-use status bar

  Language:C++13.8k694

• neucn/ipgw

  东北大学校园网关客户端

  Language:Go13433

• chrisbutner/ChessCoach

  Neural network-based chess engine capable of natural language commentary

  Language:C++44720

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

  Language:Shell171k25.7k

• kenkoooo/AtCoderProblems

  Extend your AtCoder

  Language:TypeScript1.4k150

• tumashu/pyim

  一个 emacs 中文输入法，支持全拼，双拼，五笔，仓颉和Rime，pyim 是 GNU elpa 包。

  Language:Emacs Lisp88391

• xhebox/wlpinyin

  [WIP] experimental Chinese wayland Input method (IME)

  Language:C465

• cpeditor/cpeditor

  The IDE for competitive programming :tada: | Fetch, Code, Compile, Run, Check, Submit :rocket:

  Language:C++1.7k128

• snaptoken/kilo-src

  Language:C23665

• pleasewhy/xv6-book-2020-Chinese

  MIT 6.S801 xv6 book 2020版 中文翻译

  17812

• huihongxiao/MIT6.S081

  2.3k389

• doczjs/docz

  ✍ It has never been so easy to document your things!

  Language:TypeScript23.6k1.5k

• Bambooin/rimerc

  rimerc: rimer's dictionary & config

  Language:Shell32135

• emacs-evil/evil

  The extensible vi layer for Emacs.

  Language:Emacs Lisp3.3k276

• susam/emacs4cl

  A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

  Language:Emacs Lisp36820

• tmux/tmux

  tmux source code

  Language:C33.9k2.1k

• RichardLitt/standard-readme

  A standard style for README files

  Language:Shell6k2.6k

• ttroy50/cmake-examples

  Useful CMake Examples

  Language:CMake12.2k2.5k

• melihcolpan/flask-restful-login

  Flask restful service consists of register, login, logout, reset password and some data routes. It includes a few example routes based on user, admin, or super admin access.

  Language:Python12425

• FlyGoat/RyzenAdj

  Adjust power management settings for Ryzen APUs

  Language:C1.6k117