Encoding and parsing tools.
☆1,030Jan 28, 2026Updated 9 months ago
Alternatives and similar repositories for toolbox
Users that are interested in toolbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 17, 2023Updated 2 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆130Jan 6, 2023Updated 3 years ago
- Some helpful scripts for the physics experiments at BUAA.☆19Dec 25, 2017Updated 8 years ago
- 北京航空航天大学校园网命令行登录工具，多系统支持☆16Nov 13, 2021Updated 4 years ago
- A Web Application to convert NFA to DFA.☆19Oct 7, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Your one stop solution to make your job search easier☆23Dec 27, 2024Updated last year
- Assignments of the dragon book, 2nd☆11Jan 18, 2018Updated 8 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆106Oct 23, 2026Updated 2 weeks ago
- ☆14Dec 13, 2024Updated last year
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- a tiny programming language☆12Feb 5, 2021Updated 5 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆291May 19, 2021Updated 5 years ago
- Solutions and write-ups to challenges from Pwny Racing☆24Jan 30, 2020Updated 6 years ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- E-ticketing and Route planning platform for Bangladesh Railway☆10Aug 20, 2024Updated 2 years ago
- Official website of 立命館ダジャレサークル☆12Updated this week
- Website for Systems Research Seminar at UIUC☆21Oct 17, 2026Updated 3 weeks ago
- Competitive programming workspace in the cloud, with support for running and testing code☆28Nov 9, 2021Updated 4 years ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Jun 17, 2020Updated 6 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 3 years ago
- C in four functions☆14Feb 14, 2020Updated 6 years ago
- ☆20Apr 17, 2019Updated 7 years ago
- oo课程规则文档☆10Mar 29, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated 2 years ago
- The bot of @averak☆17Updated this week
- ☆12Oct 2, 2021Updated 5 years ago
- A simple tomasulo simulator written in Rust for the course Computer Architecture.☆14Dec 29, 2022Updated 3 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- A small, cross-platform program for NEIE.☆19Dec 15, 2019Updated 6 years ago
- A tool for analyzing and transforming context-free grammars.☆240Mar 21, 2026Updated 7 months ago
- 💘 Write any Python with 9 Characters: e,x,c,h,r,(,+,1,)☆20Jun 20, 2022Updated 4 years ago
- ☆20May 8, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。☆6,661May 15, 2024Updated 2 years ago
- A tiny iOS app for fetching classes from BUAA. (course assignment for BUAA-Swift)☆10May 8, 2021Updated 5 years ago
- 十分钟魔法练习☆814Sep 2, 2023Updated 3 years ago
- A direct replacement for `assert_eq` for unordered collections☆14May 27, 2026Updated 5 months ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 9 months ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆65Aug 19, 2021Updated 5 years ago