Library for manipulating context-free grammars in Rust.
☆30Nov 16, 2025Updated 4 months ago
Alternatives and similar repositories for cfg
Users that are interested in cfg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Easily add address & port flags to CLIs using Clap☆15Dec 18, 2023Updated 2 years ago
- ☆19Feb 14, 2023Updated 3 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- Simple Refinement types for F#. No longer maintained.☆11Jun 22, 2019Updated 6 years ago
- 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.
- Rust library for scheduling, managing resources, and running DAGs 🌙☆39Jan 27, 2025Updated last year
- zero-dependency rust crate for generating and applying partial diffs between struct instances☆32Nov 26, 2025Updated 4 months ago
- A reasonable theorem prover for your reasoning tasks!☆31Jan 27, 2025Updated last year
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 2 months ago
- Securely access a server's terminal even when they are behind firewalls☆63Nov 22, 2025Updated 4 months ago
- A powerful parameter handling library for [Axum](https://github.com/tokio-rs/axum) web framework, inspired by [Ruby on Rails](https://rub…☆16Feb 12, 2026Updated last month
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 14 years ago
- Just a quick terrain generation experiment.☆44Apr 22, 2023Updated 2 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.
- Redis-like In-Memory DB Embedded in Postgres☆28Jun 10, 2025Updated 9 months ago
- A description of the language syntax and associated data, examples, and nonexamples.☆19Dec 10, 2020Updated 5 years ago
- A simple module for JSON-encoding the GDAL Data Model (VRT).☆15Nov 26, 2018Updated 7 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- STAC server, built in Rust, backed by pgstac☆12Apr 29, 2024Updated last year
- ☆11Oct 16, 2022Updated 3 years ago
- Minimal AWSCLI & AWS-CDK & NodeJS/NPM built on top of Alpine Linux Docker Image☆12Feb 15, 2024Updated 2 years ago
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 2 years ago
- A syntax extension providing higher-order attributes to Rust.☆17Dec 3, 2017Updated 8 years ago
- 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.
- Rust bindings for the hunspell C API☆10Oct 24, 2022Updated 3 years ago
- Exchange vector geometries between Rust and Python using pyo3 and Pythons __geo_interface__ protocol☆23Oct 6, 2024Updated last year
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Caryll font editor☆20Feb 3, 2016Updated 10 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Postgres administrative queries☆12Aug 13, 2024Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- PID controller☆18Oct 20, 2018Updated 7 years ago
- A homebrew recipe tool demonstrating deep integration of rust wasm and vuejs☆16Oct 5, 2020Updated 5 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.
- A Rust/Python library for fast avro deserialization☆12Aug 25, 2024Updated last year
- Yet Another deep embedding of Linear Logic in Coq☆16Mar 30, 2026Updated last week
- Simple implementation of a parsing algorithm inspired by Earley☆15Apr 3, 2022Updated 4 years ago
- ☆22May 19, 2016Updated 9 years ago
- PostgreSQL table access method for Read-Only Archived Data (ROAD).☆19Mar 6, 2025Updated last year
- Rust library and Python bindings for parsing the OGC CQL2 filter language☆21Mar 30, 2026Updated last week
- Derive for arrow-rs, ported from arrow2-convert☆21Feb 10, 2026Updated last month