Encoding and parsing tools.
☆1,013Jan 28, 2026Updated last month
Alternatives and similar repositories for toolbox
Users that are interested in toolbox are comparing it to the libraries listed below
Sorting:
- 北京航空航天大学校园网命令行登录工具，多系统支持☆16Nov 13, 2021Updated 4 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Some helpful scripts for the physics experiments at BUAA.☆19Dec 25, 2017Updated 8 years ago
- ☆14Dec 13, 2024Updated last year
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- 国科大编译作业三：Point to 分析☆19Dec 12, 2021Updated 4 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 7 months ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- A direct replacement for `assert_eq` for unordered collections☆13Apr 17, 2022Updated 3 years ago
- A tiny iOS app for fetching classes from BUAA. (course assignment for BUAA-Swift)☆10May 8, 2021Updated 4 years ago
- ☆11Apr 10, 2022Updated 3 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆65Aug 19, 2021Updated 4 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Dec 12, 2025Updated 2 months ago
- ☆15Feb 20, 2026Updated last week
- Pyjiting is a experimental Python-JIT compiler, which is the product of my undergraduate thesis. The goal is to implement a light-weight …☆12Jan 19, 2022Updated 4 years ago
- Monorepo for collection of Axiom V2 Typescript SDKs.☆14Oct 21, 2024Updated last year
- A theme for VS Code☆16May 12, 2021Updated 4 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 3 weeks ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆11Jan 21, 2026Updated last month
- Experiments with eBPF bytecode☆15Jul 17, 2025Updated 7 months ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 10 years ago
- Mitochondria is the powerhouse of the `Cell`☆30Nov 20, 2016Updated 9 years ago
- 花！是一个高清重制机上些许衍生创作的表情包☆79Mar 29, 2021Updated 4 years ago
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- Yet Another Ray Tracer - Incredibly trivial multi-thread ray-tracer written in plain, understandable C++☆12Apr 19, 2020Updated 5 years ago
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Judge油猴脚本☆11Jun 20, 2018Updated 7 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- Double-ended queues☆14Feb 3, 2025Updated last year
- ☆15Apr 8, 2025Updated 10 months ago
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 2 weeks ago