преобразования регулярных выражений и конечных автоматов
☆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:
- ☆16Jul 25, 2026Updated 3 months ago
- Компилятор Рефала-5λ☆100Oct 25, 2026Updated last week
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- ☆13Apr 19, 2025Updated last year
- Travelling Salesman Problem using Ant Colony Optimization☆16Apr 4, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated last year
- Small parsec-like parser combinators library with semi-automatic error recovery☆16Aug 16, 2024Updated 2 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- The smallest programming language interpreter☆16Jun 6, 2026Updated 5 months ago
- Based on Microsoft SEAL, a Postgresql extension adding support for Fully Homomorphic Encryption.☆18May 11, 2023Updated 3 years ago
- A linter that checks for duplicate words in the source code (usually miswritten)☆17Oct 14, 2026Updated 3 weeks ago
- Pure Erlang Implementation of Git☆16Apr 9, 2010Updated 16 years ago
- ☆72Updated this week
- Alternate LLM Architecture Experiment with O(n) time complexity☆11Jul 18, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 7 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Apr 13, 2014Updated 12 years ago
- SMQueue RFC-3428 Store and Forward Server☆20Jul 13, 2016Updated 10 years ago
- Fork of Rust adding CHERI support☆14Apr 10, 2025Updated last year
- A user-agent parser for Erlang☆13Dec 17, 2015Updated 10 years ago
- Health checks for Eclipse Vert.x☆15Updated this week
- Enhanced query string parser for Erlang☆18Oct 30, 2016Updated 10 years ago
- Jaeger Docker images with a clickhouse plugin☆14Jul 19, 2022Updated 4 years ago
- YDB public talks, slides and recordings☆14Sep 4, 2026Updated 2 months 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.
- Another Erlang Release/Upgrade Tool☆16Jun 8, 2014Updated 12 years ago
- An implementation of random number generator based on rdrand instruction☆27May 15, 2026Updated 5 months ago
- beambag is an erlang library for using beam files as a quasi-static in-memory data store.☆18Jan 21, 2015Updated 11 years ago
- SAP Sybase ASE Database driver for Erlang☆12Oct 20, 2016Updated 10 years ago
- HA Archiver GNU GPL by Harri Hirvola☆15Aug 9, 2025Updated last year
- ☆13Oct 27, 2020Updated 6 years ago
- Repository for http://www.planeterlang.com☆23Feb 24, 2022Updated 4 years ago
- ☆16Feb 22, 2018Updated 8 years ago
- Evolutionary multi agent system☆16Apr 28, 2015Updated 11 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.
- Pure Go native and database/sql driver for YDB☆181Updated this week
- An unconventional programming language that compiles to EVM bytecode.☆14Aug 27, 2026Updated 2 months ago
- Fast XML parser for Erlang☆15Dec 18, 2017Updated 8 years ago
- FireFox plugin to require an existing VPN connection before accessing specified hosts☆42Mar 21, 2025Updated last year
- Aerospike Fork of the JEMalloc Memory Allocator☆24Feb 11, 2026Updated 8 months ago
- Erlang WebSockets client☆21Aug 9, 2014Updated 12 years ago
- ☆17Oct 9, 2026Updated 3 weeks ago