преобразования регулярных выражений и конечных автоматов
☆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:
- Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.☆34Jul 14, 2025Updated 11 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 11 months ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆42Jun 3, 2025Updated last year
- 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.
- ⚡zt — the fastest terminal emulator. 88 MB/s throughput. 5.5ms startup. 2MB memory. Pure Zig.☆44Updated this week
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 years ago
- ⚖️ 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☆77Apr 29, 2023Updated 3 years ago
- ClickHouse ch-go Helper☆10Apr 12, 2025Updated last year
- 🪄 Simple Markdown preprocessor☆13May 24, 2024Updated 2 years ago
- Golang linter, lint pass any slice as any in variadic function☆19May 22, 2023Updated 3 years ago
- ☆87Oct 20, 2025Updated 7 months ago
- Jaeger Docker images with a clickhouse plugin☆14Jul 19, 2022Updated 3 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.
- PostgreSQL fulltext search addon☆12Mar 21, 2018Updated 8 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Apr 13, 2014Updated 12 years ago
- ☆68Updated this week
- A system tray application for managing Yggdrasil service☆28Jun 8, 2026Updated last week
- A linter that checks for duplicate words in the source code (usually miswritten)☆16Jun 11, 2026Updated last week
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 7 years ago
- Almost SOTA LLM architecture, with O(n) time complexity☆11Jan 19, 2025Updated last year
- Fork of Rust adding CHERI support☆14Apr 10, 2025Updated last year
- ☆10Sep 9, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk …☆14Jun 11, 2026Updated last week
- Gnome Shell extension to manage emacs server instances☆26Mar 20, 2019Updated 7 years ago
- SMQueue RFC-3428 Store and Forward Server☆19Jul 13, 2016Updated 9 years ago
- A chat app for iOS that never connects to a server☆20Apr 20, 2023Updated 3 years ago
- ls but with io_uring☆47Jun 5, 2026Updated last week
- Learn the Agda basics in three 2-hour sessions.☆60Sep 26, 2025Updated 8 months ago
- Графическая IDE для киберфизических систем (клиентская часть)☆15May 25, 2026Updated 3 weeks ago
- bitmap extension for postgres☆23Dec 4, 2020Updated 5 years ago
- An implementation of random number generator based on rdrand instruction☆27May 15, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Cryptode: managing your VPN connections (CLI for Linux and macOS)☆17May 14, 2020Updated 6 years ago
- Subscriber Registry API and SIP Authentication Server☆18Jul 13, 2016Updated 9 years ago
- An unconventional programming language that compiles to EVM bytecode.☆14Feb 25, 2026Updated 3 months ago
- Schematics and accompanying documentation for the UmTRX project☆30Oct 31, 2013Updated 12 years ago
- ☆14Oct 27, 2020Updated 5 years ago
- LIDO xml of collection data available on Wikidata☆15Oct 20, 2017Updated 8 years ago
- Haskell WAI Framework☆31Sep 7, 2015Updated 10 years ago