PyCLIPS - a Python module to integrate CLIPS into Python
☆36Feb 5, 2017Updated 9 years ago
Alternatives and similar repositories for pyclips
Users that are interested in pyclips are comparing it to the libraries listed below
Sorting:
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Aug 19, 2025Updated 6 months ago
- Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface☆23Jun 11, 2025Updated 8 months ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- 模仿百度搜索栏制作一个简易的search demo☆11Apr 13, 2017Updated 8 years ago
- The die-cute cpu on paper☆35Dec 2, 2015Updated 10 years ago
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- ☆16Sep 18, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Fully Local Push-to-Transcribe☆18Nov 6, 2025Updated 3 months ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- **YT-Smart-Assistant** is a full-stack media management tool designed to bridge the gap between browser interactions and local CLI power.…☆25Updated this week
- Supports recording audio using a microphone and saving the recorded data as a file.☆21Jun 11, 2025Updated 8 months ago
- Supports clipboard change listening and enables reading and writing of various clipboard formats (plain text, rich text, html, image, and…☆19Apr 24, 2025Updated 10 months ago
- A desktop music player built with Electron that streams audio from YouTube Music. Clean UI, no accounts, no ads.☆37Updated this week
- quicklook 是使用 Tauri v2 开发的 Windows 平台的文件预览工具☆13Jan 20, 2026Updated last month
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- [DEPRECATED] You should use web3.py instead.☆10Nov 24, 2016Updated 9 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Sample KEDA deployment with Redis and MySql scalers☆13Feb 2, 2024Updated 2 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 6 months ago
- ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica☆11Mar 2, 2023Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago