kfxp12138's Stars
ManimCommunity/manim
A community-maintained Python framework for creating mathematical animations.
dair-ai/ml-visuals
🎨 ML Visuals contains figures and templates which you can reuse and customize to improve your scientific writing.
google/trillian
A transparent, highly scalable and cryptographically verifiable data store.
guanyingc/latex_paper_writing_tips
Tips for Writing a Research Paper using LaTeX
apache/datafusion-sqlparser-rs
Extensible SQL Lexer and Parser for Rust
michaeljohnn/excalidraw-cn
Excalidraw-CN 是支持中文手写和多画布的 Excalidraw 白板工具。Excalidraw-CN is a whiteboard supporting Chinese hand draw font and multi-canvas based on Excalidraw.
xinychen/awesome-latex-drawing
Drawing Bayesian networks, graphical models, tensors, technical frameworks, and illustrations in LaTeX.
anse1/sqlsmith
A random SQL query generator
sec-deadlines/sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
CryptDB/cryptdb
A database system that can process SQL queries over encrypted data.
madushadhanushka/simple-sqlite
Code reading for sqlite backend
electrum/tpch-dbgen
TPC-H dbgen
ChangxingJiang/metasequoia-sql
metasequoia-sql 是一款注重性能的 SQL 语法的解析和分析器,适用于 SQL 的格式化、执行和分析场景,致力于打造性能最高的 Python 版 SQL 解析器。
ejunjsh/bustub
Database practice on cmu15-445 2022
personaelabs/spartan-ecdsa
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
pornin/crrl
Rust library for cryptographic research
fikovnik/omnigraffle-export
A command line utility that exports omnigraffle canvases files into various formats with a rubber support.
DeFiHackLabs/Web3-CTF-Intensive-CoLearning
Web3 CTF Intensive CoLearning
protolambda/go-kzg
FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
ahenzinger/simplepir
The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval" (USENIX Security 2023).
apecloud/mysql-binlog-connector-rust
lovasoa/TPCH-sqlite
SQLite TPCH database
benjaminion/c-kzg
Simple implementation of KZG commitments in C
zhouzhangwalker/HE3DB
simonkamp/curve-trees
lunfardo314/verkle
Implementation of polynomial KZG proofs and 257-ary verkle trie
wuwuz/Piano-PIR-new
Piano: Extremely Simple, Single-server Private Information Retrieval with Sublinear Server Computation (IEEE S&P 2024)
blockscout/blockscout-verkle-tree
Module for visualizing Verkle tree proofs
wangkekekexili/Merkle-B-Tree
wangnick2017/DupTree