kfxp12138

kfxp12138's Stars

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python27.6k1691.6k1.9k

• dair-ai/ml-visuals

  🎨 ML Visuals contains figures and templates which you can reuse and customize to improve your scientific writing.

  14k116501.4k

• plandex-ai/plandex

  AI driven development in your terminal. Designed for large, real-world tasks.

  Language:Go10.9k89125756

• google/trillian

  A transparent, highly scalable and cryptographically verifiable data store.

  Language:Go3.6k77344378

• guanyingc/latex_paper_writing_tips

  Tips for Writing a Research Paper using LaTeX

  Language:TeX3.3k290376

• sqlparser-rs/sqlparser-rs

  Extensible SQL Lexer and Parser for Rust

  Language:Rust2.7k37449516

• korbinzhao/excalidraw-cn

  Excalidraw-CN 是支持中文手写和多画布的 Excalidraw 白板工具。Excalidraw-CN is a whiteboard supporting Chinese hand draw font and multi-canvas based on Excalidraw.

  Language:TypeScript1.8k1026219

• CN-GuoZiyang/MYDB

  一个简单的数据库实现

  Language:Java878615226

• anse1/sqlsmith

  A random SQL query generator

  Language:C++7603339128

• sec-deadlines/sec-deadlines.github.io

  Deadline countdowns for academic conferences in Security and Privacy

  Language:HTML6731915239

• CryptDB/cryptdb

  A database system that can process SQL queries over encrypted data.

  Language:PHP50130897

• nucypher/nufhe

  NuCypher fully homomorphic encryption (NuFHE) library implemented in Python

  Language:Python449234053

• madushadhanushka/simple-sqlite

  Code reading for sqlite backend

  Language:C39711167

• electrum/tpch-dbgen

  TPC-H dbgen

  Language:C29184136

• ChangxingJiang/metasequoia-sql

  metasequoia-sql 是一款注重性能的 SQL 语法的解析和分析器，适用于 SQL 的格式化、执行和分析场景，致力于打造性能最高的 Python 版 SQL 解析器。

  Language:Python225181846

• ejunjsh/bustub

  Database practice on cmu15-445 2022

  Language:C++2032537

• fikovnik/omnigraffle-export

  A command line utility that exports omnigraffle canvases files into various formats with a rubber support.

  Language:Python126121515

• zkpstandard/zkreference

  The official repository hosting the ZKProof Community Reference & Proposals documents.

  Language:TeX103244910

• MinaProtocol/gpu-groth16-prover-3x

  On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

  Language:C++938155

• TAMUCrypto/zkCNN

  A GKR-based zero-knowledge proof protocol for CNN model inference.

  Language:C++733313

• apecloud/mysql-binlog-connector-rust

  Language:Rust688138

• eniac/Reef

  Reef: A zkSNARK system for proving that a committed document matches a regex

  Language:Rust661056

• actuallyachraf/zkstarks

  A :pencil: literate and test-driven :bug: implementation of ZK-STARKs

  Language:Go38409

• lovasoa/TPCH-sqlite

  SQLite TPCH database

  Language:Shell384013

• zhouzhangwalker/HE3DB

  Language:C++32115

• lunfardo314/verkle

  Implementation of polynomial KZG proofs and 257-ary verkle trie

  Language:Go23206

• zkpstandard/wg-sigma-protocols

  The official repository containing the documentation of the Sigma Protocols working group.

  Language:TeX141006

• 3for/Compressed_sigma-protocol

  Rust implementation for Compressed Σ-Protocol Theory and Practical Application to Plug & Play Secure Algorithmics

  Language:Rust6311

• wangkekekexili/Merkle-B-Tree

  Language:C++4203

• wangnick2017/DupTree

  Language:C++3100