ggdG 最近的时间轴更新 ggdG 最近的时间轴更新ggdG's repos on GitHub
Lean · 32 人关注
goldbach_tm
Goldbach conjecture = 25-state turing machine
JavaScript · 15 人关注
gene
HTML · 8 人关注
map_of_the_premier_league
Interactive 1992-2020 Premier League Map
Shell · 6 人关注
fc-fish
Bash style fc for Fish
Rust · 5 人关注
cargo-auto-import
2 人关注
awesome-lambda-calculus
2 人关注
collatz_function
The best 2-symbol turing machine for collatz 3x+1 function
Rust · 2 人关注
mdcat-ratatui
markdown widget for ratatui
1 人关注
awsm.fish
A curation of prompts, plugins & other resources for Fish. 🐚
Rust · 1 人关注
build-std
Java · 1 人关注
desktopcal_android
Rust · 1 人关注
dioxionary
StarDict in Rust! 使用 离线 / 在线 词典在终端中查单词、背单词！
Rust · 1 人关注
explicit_reinitialization
Java · 1 人关注
finding-phone
Makefile · 1 人关注
hello-rust
1 人关注
incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
Rust · 1 人关注
kecc
Lean · 1 人关注
lean-halting
1 人关注
lengauer-tarjan-why3
Java · 1 人关注
lib_v2
Python · 0 人关注
2048.py
Colored text based 2048 in Python.
C++ · 0 人关注
4M-propagation
0 人关注
addr2line
A cross-platform `addr2line` clone written in Rust, using `gimli`
Tcl · 0 人关注
aixinwu_signin
Rust · 0 人关注
anki_sql
Used for share
Rust · 0 人关注
anymap
A safe and convenient store for one value of each type
0 人关注
appimage.github.io
Given an URL to an AppImage, the GitHub action in this project inspects the AppImage and puts it into a community-maintained catalog
Shell · 0 人关注
autocd-fish
0 人关注
awesome-ratatui
A curated list of TUI apps and libraries built with Ratatui
0 人关注
BiliAlbumCrawler
B站用户相册图片爬虫
0 人关注
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Rust · 0 人关注
bitpacking
SIMD algorithms for integer compression via bitpacking. This crate is a port of a C library called simdcomp.
CSS · 0 人关注
blog_source
JavaScript · 0 人关注
build-blockchain-insurance-app
Sample insurance application using Hyperledger Fabric
0 人关注
c2rust
Migrate C code to Rust
Rust · 0 人关注
census
Rust crate to keep a list of all of your living objects.
0 人关注
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Rust · 0 人关注
charcoal
An online dictionary using youdao dict api. Inspired by wudao-dict.
Go · 0 人关注
cheat
cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.
Shell · 0 人关注
cheatsheets
Community-sourced cheatsheets
SCSS · 0 人关注
cheatsheets-1
My cheatsheets
Rust · 0 人关注
combine
A parser combinator library for Rust
0 人关注
coreutils
Cross-platform Rust rewrite of the GNU coreutils
Rust · 0 人关注
crossbeam
Tools for concurrent programming in Rust
0 人关注
CS410-21
being the teaching materials and exercises for CS410 in the 2021/22 session
Java · 0 人关注
Desktopcal_app
0 人关注
dining-philosophers-rust
0 人关注
dnslookup
Simple command line utility to make DNS lookups to the specified server
0 人关注
douyin
下载抖音某个用户的所有无水印视频
Rust · 0 人关注
downcast-rs
Python · 0 人关注
DSSE-GraphDB
searchable symmetric encryption
JavaScript · 0 人关注
electron-BBC
Clone to try a simple Electron React app
0 人关注
fabric
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
Go · 0 人关注
fabric-private-chaincode
This lab enables Secure Chaincode Execution using Intel SGX for Hyperledger Fabric.
0 人关注
fabric-samples
JavaScript · 0 人关注
fabric_torrent
Rust · 0 人关注
fail-rs
Fail points for rust
0 人关注
faq
收集整理在 Rust 众 https://t.me/rust_zh 的讨论中出现的一些常见疑问及其解答
Rust · 0 人关注
filetime
Accessing file timestamps in a platform-agnostic fashion in Rust
0 人关注
firefox-better-history-ng
A Better History page inspired by Vivaldi ⛺
Rust · 0 人关注
fish-shell
The user-friendly command line shell.
Shell · 0 人关注
fisher
A plugin manager for Fish
JavaScript · 0 人关注
fotmob-block-score
chromium extension, fotmob遮挡比分
Rust · 0 人关注
fst-sgx
Rust · 0 人关注
futures-rs
Zero-cost asynchronous programming in Rust
Shell · 0 人关注
fzf.fish
🔍🐟 Fzf plugin for Fish
0 人关注
gimli
A library for reading and writing the DWARF debugging format
0 人关注
git-open
Type `git open` to open the GitHub page or website for a repository in your browser.
Rust · 0 人关注
gitopen
A command line utility to open git repository page in the browser from the repository location in terminal
C++ · 0 人关注
goldendict-ng
The Next Generation GoldenDict
Rust · 0 人关注
goldendict-ng-reviewer
Java · 0 人关注
GroupSMS
0 人关注
hashbrown
Rust port of Google's SwissTable hash map
JavaScript · 0 人关注
hyper-predicate
Python · 0 人关注
image_spider
a image spider based on scrapy
0 人关注
incubator-teaclave
Apache Teaclave (incubating) is an open source universal secure computing platform
Rust · 0 人关注
inotify
Idiomatic inotify wrapper for the Rust programming language
Rust · 0 人关注
inotify-sys
Low-level inotify bindings for the Rust programming language
Java · 0 人关注
IntelligentChineseChessSystem
Course project for Data Structure and Algorithm. tags:中国象棋.人工智能.AI.
Java · 0 人关注
itechzero
0 人关注
konsole
Terminal emulator by KDE
0 人关注
lambda_calculus_rust
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Rust · 0 人关注
lazy-static.rs
A small macro for defining lazy evaluated static variables in Rust.
Lean · 0 人关注
LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
0 人关注
lengyijun
Rust · 0 人关注
levenshtein-automata
Rust · 0 人关注
levenshtein-rs
Levenshtein algorithm in Rust
Rust · 0 人关注
lfu-cache
A rust implementation of a Least Frequently Used cache
0 人关注
libc
Raw bindings to platform APIs for Rust
Rust · 0 人关注
linked-hash-map
A HashMap wrapper that holds key-value pairs in insertion order
Rust · 0 人关注
linked-hash-set
Rust HashSet with insertion ordering
0 人关注
linkup
🎮 JS连连看小游戏
C++ · 0 人关注
linux-sgx
Intel SGX for Linux*
0 人关注
linux-sgx-driver
Intel SGX Linux* Driver
0 人关注
linux-sgx-remoteattestation
Example of Linux SGX remote attestation
0 人关注
lockbud
Statically detect Rust deadlocks bugs
0 人关注
logseq-blog
0 人关注
logseq-that-year-today
Open the journals from today in previous years in the sidebar.
0 人关注
markdown-rs
CommonMark compliant markdown parser in Rust with ASTs and extensions
Rust · 0 人关注
mathutils
Some math util used in terminal, written in Rust
lengyijun
Select Language