Encoding and parsing tools.
☆1,019Jan 28, 2026Updated 2 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:
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆131Jan 6, 2023Updated 3 years ago
- Some helpful scripts for the physics experiments at BUAA.☆19Dec 25, 2017Updated 8 years ago
- 你渴望力量吗年轻人☆10Sep 8, 2020Updated 5 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.☆123Apr 2, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Dec 13, 2024Updated last year
- Assignments of the dragon book, 2nd☆11Jan 18, 2018Updated 8 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 20, 2026Updated 3 weeks ago
- a tiny programming language☆12Feb 5, 2021Updated 5 years ago
- 南草津駅周辺のラーメン屋さんガチャ☆11Sep 6, 2021Updated 4 years ago
- VSCode extension to detect vulnerable regular expressions☆13Jan 14, 2024Updated 2 years ago
- E-ticketing and Route planning platform for Bangladesh Railway☆10Aug 20, 2024Updated last year
- A curated list of 150+ papers and resources on Agentic Security. Based on the survey covering the transition from passive LLMs to autonom…☆38Mar 31, 2026Updated 2 weeks ago
- CVE-2021-22205 RCE☆13Jul 4, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆20Apr 17, 2019Updated 6 years ago
- Competitive programming workspace in the cloud, with support for running and testing code☆28Nov 9, 2021Updated 4 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Log macro for logs kv-unstable backend☆21Feb 23, 2021Updated 5 years ago
- 2D constant acceleration simulation☆17Dec 4, 2021Updated 4 years ago
- A markdown parser written in c☆14Nov 6, 2015Updated 10 years ago
- Turing Machine Simulator☆18Feb 11, 2020Updated 6 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 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.
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆400Mar 19, 2026Updated 3 weeks ago
- A theme for VS Code☆16May 12, 2021Updated 4 years ago
- Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento☆32Oct 7, 2024Updated last year
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- minieap可在sysu使用的版本☆15Mar 13, 2021Updated 5 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆17Apr 4, 2025Updated last year
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆65Aug 19, 2021Updated 4 years ago
- This repository focuses on the OOP concepts with C++.☆15Jul 13, 2022Updated 3 years ago
- windows11-GTKtheme☆10Sep 20, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 花！是一个高清重制机上些许衍生创作的表情包☆79Mar 29, 2021Updated 5 years ago
- An anonymous discussion forum for MIT Students 👀☆21Nov 27, 2017Updated 8 years ago
- ☆33Sep 18, 2022Updated 3 years ago
- A simple tomasulo simulator written in Rust for the course Computer Architecture.☆14Dec 29, 2022Updated 3 years ago
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- A decentralized alternative to proprietary and centralized cloud storage.☆15Mar 8, 2023Updated 3 years ago
- 十分钟魔法练习☆820Sep 2, 2023Updated 2 years ago