Coq based JSON-Schema to SMT system.
☆13Dec 29, 2025Updated 10 months ago
Alternatives and similar repositories for jsonschema_smt
Users that are interested in jsonschema_smt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PlainAPI - Make APIs with plain English and GPT3☆11Oct 2, 2021Updated 5 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 3 years ago
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago
- Modernized OpenAI Spinning Up fork with reproducible SAC + Gymnasium/MuJoCo.☆10Jul 20, 2025Updated last year
- ☆14Jul 23, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Pure-OCaml YAML 1.2 & 1.1 Library☆14Aug 29, 2026Updated 2 months ago
- Apps for speech recognition and speech synthesis☆12Aug 21, 2025Updated last year
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 10 years ago
- web-ai-sdk: TypeScript SDK for the Web AI surface (Prompt, Writer, Rewriter, Proofreader, Translator, Summarizer, Language Detector, WebM…☆23Updated this week
- Chemical programming framework based on Banâtre's Gamma☆11Feb 11, 2017Updated 9 years ago
- Package Python software as an RPM including all dependencies (even the interpreter).☆11Jan 14, 2020Updated 6 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 6 months ago
- vim module mock for easier testing of plugins for Vim☆12Jan 22, 2019Updated 7 years ago
- ☆11Oct 23, 2023Updated 3 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.
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 4 years ago
- ☆16Updated this week
- WASM-powered AI agents with in-browser LLMs☆32Jan 5, 2026Updated 9 months ago
- some configuration files☆12Oct 12, 2015Updated 11 years ago
- The JupyterLite extension and frontend application for Jupyter Everywhere☆15Oct 5, 2026Updated 3 weeks ago
- MCP server for intelligent code search: semantic (RAG), symbolic (tree-sitter), and regex (ripgrep) search modes. Built for Claude Code a…☆16Sep 12, 2025Updated last year
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- Composable folds☆13Jul 18, 2018Updated 8 years ago
- Efficient storage of same-type, uneven-size arrays☆12Aug 5, 2018Updated 8 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.
- Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).☆66Updated this week
- Code for using the GPIO pins on the Onion Omega board☆10Jan 29, 2017Updated 9 years ago
- ☆14Oct 10, 2023Updated 3 years ago
- ssml.guru- SSML compatibility tables for voice-first☆15Sep 23, 2021Updated 5 years ago
- DRS Analysis Tool (DAT) parses and analyses Discourse Representation Structure output from Attempto Controlled English (ACE) parser (APE)…☆13Jan 13, 2019Updated 7 years ago
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated last month
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- ruby bindings for the karotz rest api☆11Aug 11, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An integration library for using refined types with Play framework☆18Aug 12, 2024Updated 2 years ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months ago
- ☆25Jan 22, 2025Updated last year
- Gazelle language extension for nix files☆16Feb 22, 2023Updated 3 years ago
- Scientific Note Taking☆14Oct 29, 2016Updated 10 years ago
- A portable and extensible Common Lisp LOOP implementation☆22Sep 17, 2026Updated last month
- A zipline-reloaded data provider bundle for Polygon.io☆13Sep 26, 2025Updated last year