Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
☆18Jun 4, 2025Updated last year
Alternatives and similar repositories for astutils
Users that are interested in astutils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 5 months ago
- ☆15Jul 13, 2019Updated 6 years ago
- Ox is a simple compiler of compilers based on PLY☆13Sep 4, 2019Updated 6 years ago
- Specify and synthesize systems using symbolic algorithms☆53Dec 15, 2025Updated 5 months ago
- Extension of pyparsing. You can build your own languages easily. ✌️☆13Oct 6, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated last year
- ☆13Aug 22, 2024Updated last year
- An easy to use parser library for Python, based on the TopDown parsing algorithm.☆10Nov 15, 2013Updated 12 years ago
- Examples on how to construct compilers using lex, yacc and Pyhon Lex-Yacc☆16Jun 13, 2017Updated 8 years ago
- A compiler for x86-64 with an SLR parser.☆11Dec 21, 2023Updated 2 years ago
- A compact, dependency-free LL(1) parser toolkit for Python.☆10Apr 18, 2026Updated last month
- pypi mirror status (no longer maintained see https://github.com/ibigbug/pypi-mirrors)☆80Nov 10, 2021Updated 4 years ago
- ☆18Jun 14, 2024Updated last year
- A package for compositional system analysis and design☆34Jul 22, 2025Updated 10 months 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.
- A starting point for your custom Dockerfile that works on binder. You probably don't want to use this.☆21Dec 16, 2021Updated 4 years ago
- Compile a python3 subset into MIPS used by programable chips in stationeers☆14Mar 11, 2021Updated 5 years ago
- A Python wrapper for Komei Fukuda's cddlib.☆70Mar 11, 2026Updated 2 months ago
- ☆20Jan 8, 2025Updated last year
- 基于React框架的单页活动框架，可以基于此代码上进行相关的H5活动等相关内容的开发☆23Apr 25, 2019Updated 7 years ago
- A minimal interpreter for the toy language, IMP, used as an example for building interpreters.☆13Dec 28, 2016Updated 9 years ago
- A dependencies analyzer for Python☆31Dec 4, 2017Updated 8 years ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 3 years ago
- Fake SMB and SAMR data☆11Oct 27, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tkinter Rapid Application Development (RAD) library - Tkinter XML widget building☆10Oct 1, 2020Updated 5 years ago
- This is an implementation of arbitrary range of integers written in C++14☆11May 31, 2019Updated 7 years ago
- A very (!) fast BrainFuck interpreter in Python☆20Oct 24, 2022Updated 3 years ago
- Python decorator to assert types hints for python functions☆11May 13, 2018Updated 8 years ago
- Assembler and disassembler for compiled Python☆21Dec 12, 2020Updated 5 years ago
- Artifacts for the SCVP lecture☆12Nov 17, 2021Updated 4 years ago
- Log file scanner used with EDA tools to classify errors and warnings☆13Nov 14, 2022Updated 3 years ago
- Geometric operations on polytopes of any dimension☆85May 11, 2026Updated 3 weeks ago
- A compiler for a simple language, built with Python and LLVM☆101Nov 21, 2019Updated 6 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.
- Artificial Intelligence course in ZJU☆19Jul 2, 2017Updated 8 years ago
- ☆12May 31, 2016Updated 10 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- a-ray-grass is a yara module that provides support for DCSO-format bloom filters in yara. In the context of hashlookup, it allows quickly…☆14Aug 19, 2022Updated 3 years ago
- Repository of free educational resources for learning artificial intelligence☆13Jan 24, 2022Updated 4 years ago
- JSON-Serializable IPython Traitlets☆13Apr 7, 2023Updated 3 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12May 27, 2026Updated 2 weeks ago