Allows to check regexes for overlaps. Based on greenery by @qntm.
☆58Jun 5, 2024Updated 2 years ago
Alternatives and similar repositories for interegular
Users that are interested in interegular are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Structured Generation Evals☆14Sep 25, 2024Updated last year
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- Customize, control, and enhance LLM generation with logits processors, featuring visualization capabilities to inspect and understand sta…☆47Jan 8, 2026Updated 8 months ago
- A fork of sqlite-utils with CLI etc removed☆17Sep 4, 2026Updated 2 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆32Oct 6, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Organize & Run Build Scripts Comfortably☆15Apr 21, 2024Updated 2 years ago
- Automated Programming Framework☆16May 11, 2020Updated 6 years ago
- Faster structured generation☆312Aug 5, 2026Updated last month
- A tool to help adapting code bases to NullAway type system.☆19Updated this week
- Demo of pointblank / projmgr / GitHub Actions / Slack workflow for data quality monitoring☆17Mar 29, 2023Updated 3 years ago
- A minimalist Docker project to help people getting started with Node, WizardCoder, CTransformers, Python, Express and TypeScript. Ready t…☆14Jun 23, 2023Updated 3 years ago
- LLM Program Watermarking☆19Apr 19, 2024Updated 2 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- 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.
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated last month
- ☆11Oct 10, 2017Updated 8 years ago
- ☆14Oct 11, 2022Updated 3 years ago
- An unnecessarily tiny and minimal implementation of GPT-2 in NumPy.☆11Feb 12, 2023Updated 3 years ago
- ☆82Dec 12, 2025Updated 9 months ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Aug 5, 2025Updated last year
- Tools for an Aesara-based PPL.☆67Oct 28, 2024Updated last year
- A text embedding extension for the Polars Dataframe library.☆31Jun 15, 2026Updated 3 months ago
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Prototype your Jupyter Widget in the browser with anywidget and JupyterLite 💡☆17Apr 7, 2025Updated last year
- A JupyterLite deployment to try JupyterLab, Jupyter Notebook and IPython in the browser☆13Sep 8, 2026Updated last week
- ☆25Dec 29, 2018Updated 7 years ago
- Use Hermes-2-Pro-Mistral-7B function calling with your OpenAI API compatible code.☆18May 7, 2024Updated 2 years ago
- Iterate on LLM-based structured generation forward and backward☆24Mar 20, 2025Updated last year
- A fun PGM experience☆16May 19, 2025Updated last year
- The JupyterLite extension and frontend application for Jupyter Everywhere☆15Sep 7, 2026Updated last week
- [PyData Global 2021] Know Your Data First: An Introduction to Exploratory Data Analysis☆15Oct 28, 2021Updated 4 years ago
- ☆19Jan 23, 2026Updated 7 months 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.
- Tool for building packages targeting Pyodide☆18Updated this week
- gpt-3.5-turbo-instruct, prompted with PGN, vs Stockfish Level 4 on LiChess☆15Sep 19, 2023Updated 3 years ago
- A redesigned JupyterLab launcher☆19Aug 27, 2026Updated 3 weeks ago
- High-performance backend for language model probabilistic programs☆17Updated this week
- simple grpo☆13May 28, 2025Updated last year
- Testing speed and cost of classification via LLM or via vector embeddings☆21Aug 6, 2023Updated 3 years ago
- ☆17Apr 24, 2021Updated 5 years ago