trackoor
-
abi-guesser-py Public
Forked from 0xSt1ng3R/abi-guesser-pyPython replication of samczsun's abi-guesser
-
-
-
awesome-claude-skills Public
Forked from ComposioHQ/awesome-claude-skillsA curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
Python UpdatedMay 21, 2026 -
Awesome-CV Public
Forked from posquit0/Awesome-CV📄 Awesome CV is LaTeX template for your outstanding job application
-
AwesomePL Public
A Collection of Papers & Notes in Programming Language & Formal Verification
-
bighuang624.github.io Public
Forked from bighuang624/bighuang624.github.io学术主页 | Academic Page
-
-
blazctf-2023 Public
Forked from fuzzland/blazctf-2023Challenges and Solutions of Blaz CTF 2023
-
blockchain_conference_paper Public
Forked from jianyu-niu/blockchain_conference_paperThe existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.
1 UpdatedFeb 9, 2023 -
blutgang Public
Forked from rainshowerLabs/blutgangthe wd40 of ethereum load balancers
-
CFMMRouter.jl Public
Forked from bcc-research/CFMMRouter.jlConvex optimization for fun and profit. (Now in Julia!)
Julia MIT License UpdatedOct 2, 2023 -
Chi Public
🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
-
Chi-Bot Public
Forked from YoruCathy/Chi-BotMr. Chi simulator!
Python Do What The F*ck You Want To Public License UpdatedMay 14, 2020 -
-
chi-cv-template Public template
Forked from matchy233/chi-cv-template🤩 Rip-off of skyzh's CV
TeX MIT License UpdatedAug 24, 2022 -
circom-pairing Public
Forked from yi-sun/circom-pairingTypeScript GNU General Public License v3.0 UpdatedApr 10, 2023 -
circomlib Public
Forked from Sadrsys/circomlibLibrary of basic circuits for circom
JavaScript UpdatedFeb 2, 2021 -
circomlib-ml Public
Forked from socathie/circomlib-mlCircom Circuits Library for Machine Learning
Jupyter Notebook GNU General Public License v3.0 UpdatedApr 13, 2023 -
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedJan 19, 2022 -
cryo Public
Forked from paradigmxyz/cryocryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
Rust Apache License 2.0 UpdatedOct 1, 2023 -
CS-Masters-Application.github.io Public
Forked from opencsapp/opencsapp.github.ioCS Masters Application Book 计算机硕士出国申请
JavaScript UpdatedApr 19, 2022 -
cs160-starter Public
CS160 Fall 2026 starter: your ChocoPy-to-LLVM compiler
Python UpdatedOct 22, 2026 -
deepsea-1 Public
Forked from Coda-Coda/deepsea-1The DeepSEA programming language
Coq Other UpdatedMay 17, 2022 -
-
-
-
EcneProject Public
Forked from franklynwang/EcneProjectEcne: An engine for verifying the soundness of R1CS constraints
Julia GNU General Public License v3.0 UpdatedMay 22, 2022 -
ETH-transactions-storage Public
Forked from Adamant-im/ETH-transactions-storageIndexer for Ethereum to get transaction list by ETH address
Python GNU General Public License v3.0 UpdatedSep 22, 2023