EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.
☆22Oct 17, 2026Updated this week
Alternatives and similar repositories for eyeprolog
Users that are interested in eyeprolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A persistent native vector-hypergraph database for higher-order interactions☆25Updated this week
- ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain☆34Aug 8, 2026Updated 2 months ago
- Static purity and effect analysis for Clojure.☆19Apr 10, 2026Updated 6 months ago
- MoJev: typed, calibrated decisions in one forward pass.☆29Sep 23, 2026Updated 3 weeks ago
- Prolog, Datalog, languages, resources, and beyond!☆37Aug 8, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clojure CLI enhanced REPL☆40Oct 6, 2026Updated last week
- A content-addressed object store, written in Rust.☆94Updated this week
- ☆60Dec 11, 2025Updated 10 months ago
- ☆87Updated this week
- Logic plus python types☆26Oct 4, 2026Updated 2 weeks ago
- 📕 Proof-Based Math Readings is a free, independent online reading group where we study the mathematics required for economics master’s a…☆22Sep 11, 2026Updated last month
- Glojure AOT Tool☆54Updated this week
- An emacs centric fork of parinfer-rust☆12Sep 12, 2024Updated 2 years ago
- A reverse proxy that's faster than Nginx and Cloudflare Pingora, written in Go, and configurable by an LLM.☆30Apr 21, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A list of Rust buffers that implements the bytes::Buf trait.☆40Jun 24, 2026Updated 3 months ago
- ☆12Updated this week
- VibEx (vx) is a developer-friendly CLI tool that streamlines the process of working with AI coding assistants. It helps developers prepar…☆29Jul 10, 2026Updated 3 months ago
- ☆32Updated this week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated last year
- This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust im…☆28May 14, 2026Updated 5 months ago
- Guitar rig in your terminal with external plugins support☆52Jul 11, 2026Updated 3 months ago
- 24/7 market-making system around Jev (TypeSafe System One) decisions: deterministic state, calibrated judgments, hard risk vetoes.☆44Sep 19, 2026Updated 3 weeks ago
- A collection of macros designed to address issues with objects in Clojure.☆31Sep 2, 2026Updated last month
- 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.
- Keyboard-first Rust developer toolbox with a responsive Ratatui TUI and script-friendly CLI for encoding, parsing, hashing, text, time, J…☆46Aug 31, 2026Updated last month
- A MkDocs plug-in provides a source parser for *.ipynb files☆13Oct 10, 2025Updated last year
- Python tool for processing Wikipedia dump files.☆12Feb 1, 2016Updated 10 years ago
- Typed Clojure in your editor.☆18May 8, 2026Updated 5 months ago
- ☆10Jun 12, 2019Updated 7 years ago
- Web components for ActivityPub☆33Oct 10, 2026Updated last week
- bearcove internal building tool☆11Apr 28, 2025Updated last year
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- 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.
- Mitos is a fast and minimal modal text editor.☆159Updated this week
- Hidden Markov Model for .NET☆11Jul 13, 2015Updated 11 years ago
- ☆34Feb 20, 2024Updated 2 years ago
- Supercars I/II remake for java☆15Apr 5, 2020Updated 6 years ago
- Concurrent, lock-free, no-std stack implementation in Rust.☆11Oct 5, 2026Updated last week
- Local Actor Kernel for Pi☆18Oct 2, 2026Updated 2 weeks ago
- NSimulate is a .NET library written in c# that enables the development of discrent-event simulations. The library enables the modelling o…☆10Apr 4, 2016Updated 10 years ago