DeepClause Desktop App
☆92Jan 15, 2026Updated 3 months ago
Alternatives and similar repositories for deepclause-desktop
Users that are interested in deepclause-desktop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- obliquetree is an advanced decision tree implementation featuring oblique and axis-aligned splits, optimized performance.☆24Mar 26, 2026Updated last month
- Self-improving LLM system using Generator-Reflector-Curator pattern for online learning from execution feedback☆30Apr 18, 2026Updated 2 weeks ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆21Jan 19, 2025Updated last year
- A personal website/blog.☆18Mar 10, 2026Updated last month
- Blog engine written in Rust, powered by SurrealDB.☆17Apr 1, 2026Updated last month
- 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.
- EHI fork of the es(1) shell☆15Nov 25, 2021Updated 4 years ago
- An LLM council that reviews your coding agent's every move☆93Apr 28, 2026Updated last week
- Portfolio web powered by Astro and Rust☆21Dec 20, 2025Updated 4 months ago
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- P2P HTTP tunnel directly to/from the browser☆32May 1, 2024Updated 2 years ago
- Turn Podcast Conversations Into Business Intelligence☆48Jan 14, 2026Updated 3 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆32Updated this week
- OlympusAir Python interface☆13Sep 10, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Jun 19, 2021Updated 4 years ago
- A Flask app containerized with nginx and postgres☆12Mar 19, 2021Updated 5 years ago
- Nix Workshop materials☆18Oct 22, 2022Updated 3 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- ☆16Dec 14, 2017Updated 8 years ago
- ☆11Sep 8, 2021Updated 4 years ago
- ☆15Jan 6, 2025Updated last year
- Streaming Log Multiplexer - combine multiple logs to one☆11Jan 4, 2023Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Common format for transferring and applying function information across binary analysis tools☆64Nov 5, 2025Updated 5 months ago
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated 2 months ago
- ☆19Aug 23, 2025Updated 8 months ago
- Example OCaml library written using Rust and ocaml-rs☆16Mar 10, 2021Updated 5 years ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 8 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆32Oct 18, 2017Updated 8 years ago
- ast pattern matching with automated structure recovery for hex-rays decompiler☆34Apr 18, 2026Updated 2 weeks ago
- Using cloudflare workers and DOs to make a https tunnel that scales☆26Nov 22, 2025Updated 5 months ago
- Better type id and Any for Rust☆16Dec 12, 2025Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 🚀 Automatically detect and migrate GitHub Actions workflows to `ubuntu-slim` for cost-efficient CI☆105Mar 6, 2026Updated last month
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 10 months ago
- This repository provides a system for generating explanations in autonomous robots (ROS 2) based on log analysis using LLMs.☆12Nov 25, 2025Updated 5 months ago
- 32-bit hashing machinery☆14Updated this week
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated last year
- Demo site for the chromium-detector library☆22Apr 8, 2026Updated 3 weeks ago
- Whelk is an OWL EL reasoner☆40Mar 5, 2025Updated last year