преобразования регулярных выражений и конечных автоматов
☆21Feb 26, 2025Updated last year
Alternatives and similar repositories for Chipollino
Users that are interested in Chipollino are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)☆60Feb 28, 2026Updated 4 months ago
- Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.☆34Jul 14, 2025Updated 11 months ago
- University hometasks/laboratories in IU9, BMSTU☆17Nov 4, 2022Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆15Sep 21, 2020Updated 5 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 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.
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 11 months ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆83Updated this week
- A PCRE2 compatible regular expression engine written in Lean 4.☆20Jun 19, 2026Updated 2 weeks ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆42Jun 3, 2025Updated last year
- Griffe extension for `annotated-doc` (originally PEP 727)☆21Updated this week
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13May 17, 2026Updated last month
- List of papers and other resources at the intersection of Category Theory and NLP.☆57Feb 22, 2023Updated 3 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Материалы по курсу «Основы информатики»☆27Jan 31, 2025Updated last year
- Reusable Pattern Matching on Python Objects☆20Oct 9, 2024Updated last year
- Create string art from image, using python☆15Feb 1, 2019Updated 7 years ago
- Async HTTP API wrapper for deta Base & Drive☆14Mar 2, 2024Updated 2 years ago
- utils for framework☆11Mar 12, 2021Updated 5 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 10 months ago
- Core applications that are part of Open webOS☆40Sep 26, 2013Updated 12 years ago
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 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.
- ⚖️ This component is a lightweight, simple line style component.☆15Jun 3, 2024Updated 2 years ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆78Apr 29, 2023Updated 3 years ago
- ClickHouse ch-go Helper☆10Apr 12, 2025Updated last year
- /7 ☦ /7 – язык программирования для отечественных операторов ЭВМ, не имеющий аналогов в мире☆17Apr 6, 2024Updated 2 years ago
- ⚡zt — the fastest terminal emulator. 88 MB/s throughput. 5.5ms startup. 2MB memory. Pure Zig.☆50Updated this week
- Move the task at Yandex Tracker board.☆20Nov 24, 2025Updated 7 months ago
- Golang linter, lint pass any slice as any in variadic function☆19May 22, 2023Updated 3 years ago
- ☆88Oct 20, 2025Updated 8 months ago
- Jaeger Docker images with a clickhouse plugin☆14Jul 19, 2022Updated 3 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.
- libioc command line tool for BSD jail management☆17Jul 14, 2021Updated 4 years ago
- A Quick Research of Active Automata Learning☆37Mar 13, 2020Updated 6 years ago
- ☆71Updated this week
- Grammar synthesis algorithm using a black box oracle☆37May 17, 2024Updated 2 years ago
- Материалы лекций☆18Jan 2, 2013Updated 13 years ago
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 7 years ago
- Almost SOTA LLM architecture, with O(n) time complexity☆11Jan 19, 2025Updated last year