Oppen's Stars
AppFlowy-IO/AppFlowy
Bring projects, wikis, and teams together with AI. AppFlowy is an AI collaborative workspace where you achieve more without losing control of your data. The best open source alternative to Notion.
jesseduffield/lazygit
simple terminal UI for git commands
wader/fq
jq for binary formats - tool, language and decoders for working with binary and text formats
ast-grep/ast-grep
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
DavidAnson/markdownlint
A Node.js style checker and lint tool for Markdown/CommonMark files.
microsoft/verona
Research programming language for concurrent ownership
dafny-lang/dafny
Dafny is a verification-aware programming language
google/wycheproof
Project Wycheproof tests crypto libraries against known attacks.
luajit-remake/luajit-remake
An ongoing attempt to re-engineer LuaJIT from scratch
sigstore/gitsign
Keyless Git signing using Sigstore
Kixiron/rust-langdev
Language development libraries for Rust
xldenis/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
chanhx/crabviz
🦀 A LSP-based interative call graph generator
kspalaiologos/bzip3
A better and stronger spiritual successor to BZip2.
hydro-project/hydroflow
Hydro's low-level dataflow runtime
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
abinoda/slack-action
GitHub Action for posting Slack messages
hacspec/hacspec
Please see https://github.com/hacspec/hax
IlyaGrebnov/libsais
libsais is a library for linear time suffix array, longest common prefix array and burrows wheeler transform construction based on induced sorting algorithm.
frewsxcv/cargo-all-features
A Cargo subcommand to build and test all feature flag combinations.
github/super-linter
Combination of multiple linters to install as a GitHub Action
orf/cargo-bloat-action
Track rust binary sizes across builds using Github Actions
pbui-project/pbui-main
The main repository for the PBUI project
playXE/b3-rs
JIT codegen backend with SSA IR based on B3 from WebKit
stelzch/zotero.koplugin
Display Zotero collection on E-Readers with KOReader
vweevers/hallmark
Markdown Style Guide, with linter and automatic fixer.
fay59/interpiler
Turn an interpreter into a code generator
ktkaufman03/static-slicing
Utilities for enhanced slicing and indexing
fkrause98/dotfiles