A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
☆23Jul 3, 2024Updated last year
Alternatives and similar repositories for z3javascript
Users that are interested in z3javascript are comparing it to the libraries listed below
Sorting:
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 9 years ago
- Your AI assistant in the terminal.☆23Nov 22, 2024Updated last year
- Boundary representation volume modeling in TypeScript.☆21Sep 12, 2023Updated 2 years ago
- bloom filter implementation for javascript☆26Dec 26, 2016Updated 9 years ago
- A socket.io client for node.js that can connect through a proxy server.☆29Aug 10, 2020Updated 5 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- ☆10Sep 10, 2023Updated 2 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- An experiment to create instant preview feature for the Vive Focus device☆14Aug 11, 2018Updated 7 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated last week
- ☆11Nov 12, 2017Updated 8 years ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Feb 25, 2026Updated last week
- Tool for changing default visibility of PDF layers☆12Sep 4, 2024Updated last year
- Python wrapper for the Soil-Leaf-Canopy (SLC) radiative transfer model☆12Nov 6, 2019Updated 6 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆13Feb 18, 2026Updated 2 weeks ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- Web implementation of the AutoAquaponics graphical interface and system control☆10Feb 26, 2026Updated last week
- ☆10Jan 29, 2021Updated 5 years ago
- A python 2D football simulation☆17Aug 25, 2024Updated last year
- A Z3-Based String Constraint Solver☆87Jan 1, 2020Updated 6 years ago
- A node.js client library for the eXist-db Native XML Database.☆15Feb 19, 2019Updated 7 years ago
- An NSView subclass and controller that support the selection of subviews☆29Jun 18, 2013Updated 12 years ago
- News Recommender System based on an Online Reinforcement Learning Model☆13Jul 9, 2023Updated 2 years ago
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- A Python database interface for eXist-db☆15Updated this week
- Brew a graph of your client-side codebase using Madge & Neo4j☆11Feb 24, 2022Updated 4 years ago
- ☆13Feb 8, 2023Updated 3 years ago
- Experiments compiling the Impeller Entity Shaders to WGSL.☆11Jun 6, 2022Updated 3 years ago
- Pub/sub prototype 50x faster than Redis☆14Nov 25, 2016Updated 9 years ago
- Clean, fast LZMA encoder in Javascript☆14Nov 8, 2018Updated 7 years ago
- Top-tier tools for the discerning D&D DM☆10Updated this week
- PM2 Python Library for Process Management☆11Nov 27, 2025Updated 3 months ago
- ☆10Jun 20, 2021Updated 4 years ago
- AYON Addon for Blackmagic DaVinci Resolve☆13Feb 9, 2026Updated 3 weeks ago
- Flickit Platform☆12Nov 13, 2024Updated last year
- Objective-C wrapper for the SearchKit API / Mac OS☆27Dec 6, 2011Updated 14 years ago
- OCL TermBrowser v2☆13Feb 12, 2026Updated 3 weeks ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago