ggdG's recent timeline updates ggdG's recent timeline updatesggdG's repos on GitHub
Lean · 44 watchers
goldbach_tm
Goldbach conjecture = 25-state turing machine
JavaScript · 16 watchers
gene
Shell · 7 watchers
fc-fish
Bash style fc for Fish
Rust · 5 watchers
cargo-auto-import
2 watchers
awesome-lambda-calculus
2 watchers
collatz_function
The best 2-symbol turing machine for collatz 3x+1 function
1 watchers
awsm.fish
A curation of prompts, plugins & other resources for Fish. 🐚
Rust · 1 watchers
build-std
Java · 1 watchers
desktopcal_android
Rust · 1 watchers
dioxionary
StarDict in Rust! 使用 离线 / 在线 词典在终端中查单词、背单词！
Rust · 1 watchers
explicit_reinitialization
Java · 1 watchers
finding-phone
Makefile · 1 watchers
hello-rust
1 watchers
incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
Rust · 1 watchers
kecc
Lean · 1 watchers
lean-halting
1 watchers
lengauer-tarjan-why3
Java · 1 watchers
lib_v2
Python · 0 watchers
2048.py
Colored text based 2048 in Python.
C++ · 0 watchers
4M-propagation
0 watchers
addr2line
A cross-platform `addr2line` clone written in Rust, using `gimli`
0 watchers
AIT
Algorithmic Information Theory, using Binary Lambda Calculus
Tcl · 0 watchers
aixinwu_signin
Rust · 0 watchers
anki_sql
Used for share
Rust · 0 watchers
anymap
A safe and convenient store for one value of each type
0 watchers
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
0 watchers
astronvim-template
Shell · 0 watchers
autocd-fish
0 watchers
awesome-ratatui
A curated list of TUI apps and libraries built with Ratatui
0 watchers
BiliAlbumCrawler
B站用户相册图片爬虫
0 watchers
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Rust · 0 watchers
bitpacking
SIMD algorithms for integer compression via bitpacking. This crate is a port of a C library called simdcomp.
CSS · 0 watchers
blog_source
JavaScript · 0 watchers
build-blockchain-insurance-app
Sample insurance application using Hyperledger Fabric
0 watchers
c2rust
Migrate C code to Rust
Rust · 0 watchers
census
Rust crate to keep a list of all of your living objects.
0 watchers
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Rust · 0 watchers
charcoal
An online dictionary using youdao dict api. Inspired by wudao-dict.
Go · 0 watchers
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 watchers
cheatsheets
Community-sourced cheatsheets
SCSS · 0 watchers
cheatsheets-1
My cheatsheets
Rust · 0 watchers
combine
A parser combinator library for Rust
0 watchers
coreutils
Cross-platform Rust rewrite of the GNU coreutils
Rust · 0 watchers
crossbeam
Tools for concurrent programming in Rust
0 watchers
CS410-21
being the teaching materials and exercises for CS410 in the 2021/22 session
Lean · 0 watchers
cslib
The Lean Computer Science Library (CSLib)
Java · 0 watchers
Desktopcal_app
0 watchers
dining-philosophers-rust
0 watchers
dnslookup
Simple command line utility to make DNS lookups to the specified server
0 watchers
douyin
下载抖音某个用户的所有无水印视频
Rust · 0 watchers
downcast-rs
Python · 0 watchers
DSSE-GraphDB
searchable symmetric encryption
JavaScript · 0 watchers
electron-BBC
Clone to try a simple Electron React app
0 watchers
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 watchers
fabric-private-chaincode
This lab enables Secure Chaincode Execution using Intel SGX for Hyperledger Fabric.
0 watchers
fabric-samples
JavaScript · 0 watchers
fabric_torrent
Rust · 0 watchers
fail-rs
Fail points for rust
0 watchers
faq
收集整理在 Rust 众 https://t.me/rust_zh 的讨论中出现的一些常见疑问及其解答
0 watchers
fdasfsd
Rust · 0 watchers
filetime
Accessing file timestamps in a platform-agnostic fashion in Rust
0 watchers
firefox-better-history-ng
A Better History page inspired by Vivaldi ⛺
Rust · 0 watchers
fish-shell
The user-friendly command line shell.
Shell · 0 watchers
fishbang
bash bang commands for fish
Shell · 0 watchers
fisher
A plugin manager for Fish. Never remove `fish_plugins`
JavaScript · 0 watchers
fotmob-block-score
chromium extension, fotmob遮挡比分
Rust · 0 watchers
fst-sgx
Rust · 0 watchers
futures-rs
Zero-cost asynchronous programming in Rust
Shell · 0 watchers
fzf.fish
🔍🐟 Fzf plugin for Fish
0 watchers
gimli
A library for reading and writing the DWARF debugging format
0 watchers
git-open
Type `git open` to open the GitHub page or website for a repository in your browser.
Rust · 0 watchers
gitopen
A command line utility to open git repository page in the browser from the repository location in terminal
C++ · 0 watchers
goldendict-ng
The Next Generation GoldenDict
Rust · 0 watchers
goldendict-ng-reviewer
Java · 0 watchers
GroupSMS
0 watchers
hashbrown
Rust port of Google's SwissTable hash map
JavaScript · 0 watchers
hyper-predicate
Python · 0 watchers
image_spider
a image spider based on scrapy
0 watchers
incubator-teaclave
Apache Teaclave (incubating) is an open source universal secure computing platform
Rust · 0 watchers
inotify
Idiomatic inotify wrapper for the Rust programming language
Rust · 0 watchers
inotify-sys
Low-level inotify bindings for the Rust programming language
Java · 0 watchers
IntelligentChineseChessSystem
Course project for Data Structure and Algorithm. tags:中国象棋.人工智能.AI.
Java · 0 watchers
itechzero
TypeScript · 0 watchers
karakeep
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
0 watchers
konsole
Terminal emulator by KDE
0 watchers
lambda_calculus_rust
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Rust · 0 watchers
lazy-static.rs
A small macro for defining lazy evaluated static variables in Rust.
Lean · 0 watchers
LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
0 watchers
lengyijun
Rust · 0 watchers
levenshtein-automata
Rust · 0 watchers
levenshtein-rs
Levenshtein algorithm in Rust
Rust · 0 watchers
lfu-cache
A rust implementation of a Least Frequently Used cache
0 watchers
libc
Raw bindings to platform APIs for Rust
Rust · 0 watchers
linked-hash-map
A HashMap wrapper that holds key-value pairs in insertion order
Rust · 0 watchers
linked-hash-set
Rust HashSet with insertion ordering
0 watchers
linkup
🎮 JS连连看小游戏
C++ · 0 watchers
linux-sgx
Intel SGX for Linux*
0 watchers
linux-sgx-driver
Intel SGX Linux* Driver
0 watchers
linux-sgx-remoteattestation
Example of Linux SGX remote attestation
0 watchers
lockbud
Statically detect Rust deadlocks bugs
 |
ggdGV2EX member #505578, joined on 2020-08-27 11:36:07 +08:00 |
lengyijun
ggdG's recent replies
Sep 25, 2023 Replied to a topic by Jakarta › 分享发现 › 别再“神话”Bionic Reading 了，就是那个号称加粗单词前半部分可以提高阅读效率的东西 |
感觉 'Bionic Reading' 不怎么火啊
现在没有一个支持 'Bionic Reading' 的 pdf 软件
现在没有一个支持 'Bionic Reading' 的 pdf 软件
Select Language