A Tool for Intersecting Context-Free Grammars
☆10Dec 19, 2017Updated 8 years ago
Alternatives and similar repositories for covenant
Users that are interested in covenant are comparing it to the libraries listed below
Sorting:
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 3 years ago
- ☆12Mar 31, 2024Updated last year
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 8 years ago
- ☆15Feb 12, 2021Updated 5 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 5 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Online BDD Simulation Tool☆24Jul 29, 2025Updated 7 months ago
- [EMNLP 2021] Code and data for our paper "Visually Grounded Reasoning across Languages and Cultures"☆30Dec 30, 2021Updated 4 years ago
- Annotator that adds scope information to an ast☆26Jun 23, 2025Updated 8 months ago
- HW interface for memory caches☆28Apr 21, 2020Updated 5 years ago
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Assessing spectral estimation methods for Electric Network Frequency (ENF) Extraction☆10Jan 10, 2020Updated 6 years ago
- The Eldarica model checker☆102Feb 20, 2026Updated last week
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- ☆12Nov 22, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆12Oct 13, 2022Updated 3 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- ☆12May 30, 2023Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Portable C standard library re-entrant hash table search functions.☆11Sep 2, 2021Updated 4 years ago
- Deep learning for named entity recognition on CoNLL-2003☆10Dec 23, 2016Updated 9 years ago
- A fast, generic, contiguous growable array type written in pure C.☆10Mar 18, 2022Updated 3 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- Yet another busybox / toybox tool. This one's written in Intel x86-64 64-bit assembly language.☆11Apr 23, 2023Updated 2 years ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- C recursive descent parser based on Ian Piumarta's peg(1)☆20Feb 4, 2014Updated 12 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- A tiny tool to learn the assembly code☆12Feb 17, 2017Updated 9 years ago