преобразования регулярных выражений и конечных автоматов
☆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:
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers☆16Dec 10, 2025Updated 10 months ago
- A priority queue implementation on top of container/heap☆29Mar 21, 2022Updated 4 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated last year
- utils for framework☆11Mar 12, 2021Updated 5 years ago
- A statically typed embedding of miniKanren in Haskell☆28Oct 10, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai☆10Apr 20, 2015Updated 11 years ago
- ClickHouse ch-go Helper☆10Apr 12, 2025Updated last year
- Golang linter, lint pass any slice as any in variadic function☆19May 22, 2023Updated 3 years ago
- PostgreSQL fulltext search addon☆12Mar 21, 2018Updated 8 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Apr 13, 2014Updated 12 years ago
- Cryptode: managing your VPN connections (CLI for Linux and macOS)☆16May 14, 2020Updated 6 years ago
- ☆72Oct 11, 2026Updated last week
- Alternate LLM Architecture Experiment with O(n) time complexity☆11Jul 18, 2026Updated 3 months ago
- Pure Erlang Implementation of Git☆16Apr 9, 2010Updated 16 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 7 years ago
- Fork of Rust adding CHERI support☆14Apr 10, 2025Updated last year
- RIP: XMLRPCful microframework.☆16May 10, 2017Updated 9 years ago
- Графическая IDE для киберфизических систем (клиентская часть)☆14Sep 25, 2026Updated 3 weeks ago
- GPS, IMU, MAG, BARO, and Buzzer for the BeepBerry☆15Aug 6, 2023Updated 3 years ago
- Jaeger Docker images with a clickhouse plugin☆14Jul 19, 2022Updated 4 years ago
- SMQueue RFC-3428 Store and Forward Server☆20Jul 13, 2016Updated 10 years ago
- Информация о внутренних встречах frontend разработчиков☆11May 16, 2022Updated 4 years ago
- bitmap extension for postgres☆23Dec 4, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- YDB public talks, slides and recordings☆14Sep 4, 2026Updated last month
- Another Erlang Release/Upgrade Tool☆16Jun 8, 2014Updated 12 years ago
- An unconventional programming language that compiles to EVM bytecode.☆14Aug 27, 2026Updated last month
- beambag is an erlang library for using beam files as a quasi-static in-memory data store.☆18Jan 21, 2015Updated 11 years ago
- Subscriber Registry API and SIP Authentication Server☆19Jul 13, 2016Updated 10 years ago
- LIDO xml of collection data available on Wikidata☆15Oct 20, 2017Updated 8 years ago
- ☆13Oct 27, 2020Updated 5 years ago
- Repository for http://www.planeterlang.com☆23Feb 24, 2022Updated 4 years ago
- containedctx is a linter that detects struct contained context.Context field☆25Apr 2, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Read-only mirror of https://gitlab.gnome.org/GNOME/gexiv2☆20Updated this week
- ☆16Feb 22, 2018Updated 8 years ago
- Fairwaves version of the UHD drivers, tweaked to support Fairwaves UmTRX.☆25Nov 26, 2023Updated 2 years ago
- Initialization system in Rust☆31Oct 13, 2021Updated 5 years ago
- tparallel finds inappropriate usage of `t.Parallel()` method in your Go test codes☆28Jun 26, 2024Updated 2 years ago
- SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk …☆15Jul 28, 2026Updated 2 months ago
- MIDI Bricks was invented for usage as interactive MIDI-Controller-Interface or even for Touch-Device purposes. Webdemo:☆29Apr 25, 2021Updated 5 years ago