stonejiajia's Stars
bregman-arie/devops-exercises
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
mattermost/focalboard
Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.
Canop/broot
A new way to see and navigate directory trees : https://dystroy.org/broot
projectdiscovery/nuclei-templates
Community curated list of templates for the nuclei engine to find security vulnerabilities.
pemistahl/grex
A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases
zombodb/zombodb
Making Postgres and Elasticsearch work together like it's 2023
lief-project/LIEF
LIEF - Library to Instrument Executable Formats
microsoft/restler-fuzzer
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
antonio-morales/Fuzzing101
An step by step fuzzing tutorial. A GitHub Security Lab initiative
uo-ec607/lectures
Lecture notes for EC 607
mossr/BeautifulAlgorithms.jl
Concise and beautiful algorithms written in Julia
ruby/debug
Debugging functionality for Ruby
fsbolero/Bolero
Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, and more.
aemmitt-ns/radius
radius2 is a fast binary emulation and symbolic execution framework using radare2
018/zotcard
ZotCard is a plug-in for Zotero, which is a card note-taking enhancement tool. It provides card templates (such as concept card, character card, golden sentence card, etc., by default, you can customize other card templates), so you can write cards quickly. In addition, it helps you sort cards and standardize card formats.
B2R2-org/B2R2
B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.
hick/emacs-chinese
Emacs相关中文问题以及解决方案
hlldz/CVE-2021-1675-LPE
Local Privilege Escalation Edition for CVE-2021-1675/CVE-2021-34527
plandes/zotsite
Export Zotero to a stand-alone web site
davedawkins/Sutil
Lightweight front-end framework for F# / Fable. No dependencies.
Dhghomon/rust-fsharp
Rust - F# - Rust reference
JordanMarr/SqlHydra
SqlHydra is a suite of NuGet packages for working with databases in F# including code generation tools and query expressions.
sneeuwballen/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
timvisee/advent-of-code-2020
:christmas_tree: My Advent of Code solutions in Rust. http://adventofcode.com/2020
wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
Tyruiop/syncretism
Ops.Syncretism is an open source options search engine
Wilfred/tree-sitter-elisp
tree-sitter grammar for emacs lisp
bi7s/CVEs
bkth/chakra-bugs
rwbarton/advent-of-lean-4
Advent of Code 2020 solutions in Lean 4