various predicates for ichiban/prolog
☆16Sep 25, 2022Updated 3 years ago
Alternatives and similar repositories for predicates
Users that are interested in predicates are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 12 years ago
- Datoms is an implementation of Datomic in Go. It's a fully persistent (immutable and durable) database.☆18Sep 24, 2023Updated 2 years ago
- Attempt to understand Percy Liang's Dependency-based Compositional Semantics by implementing it in Python☆10Mar 10, 2013Updated 13 years ago
- The only reasonable scripting engine for Go.☆725Jun 24, 2026Updated last week
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Feb 11, 2020Updated 6 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- T is a work-in-progress text editor inspired by the Acme editor from Plan9.☆10Feb 17, 2019Updated 7 years ago
- Curses-based audio/video visualization☆21Apr 4, 2013Updated 13 years ago
- An experimental Go package for dealing with 9P, the Plan 9 file protocol.☆19Feb 13, 2026Updated 4 months ago
- SOTA TAG Parser☆15Jan 19, 2019Updated 7 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- It's a blog. Insert clever Haskell type signature here.☆24Feb 22, 2017Updated 9 years ago
- Lightweight SSA compiler suite☆11Sep 27, 2024Updated last year
- 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.
- Automatically exported from code.google.com/p/incremental-top-down-parser☆14Mar 15, 2015Updated 11 years ago
- Author implementation of the paper "Span-based Semantic Parsing for Compositional Generalization"☆17Aug 29, 2021Updated 4 years ago
- ☆18Aug 31, 2024Updated last year
- Experiments and bad ideas☆21May 18, 2026Updated last month
- Tensor product decomposition network☆20Mar 5, 2021Updated 5 years ago
- A query library for retrieving part of JSON based on JSONPath syntax.☆31Jun 22, 2026Updated last week
- Composable probability monads in Haskell.☆22Jul 17, 2015Updated 10 years ago
- Trealla Prolog embedded in Go using WASM☆84Dec 24, 2025Updated 6 months ago
- 🔮 Graph Layout Algorithms in Go☆97Apr 15, 2025Updated last year
- 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.
- cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework☆71May 9, 2020Updated 6 years ago
- Bitsets for Go☆11Jun 24, 2026Updated last week
- Old UNIX V6 ed _lightly_ ported to modern systems☆20Mar 9, 2018Updated 8 years ago
- ☆35Jan 12, 2026Updated 5 months ago
- ☆28Jan 3, 2015Updated 11 years ago
- Python implementation of churiso☆20Jul 16, 2020Updated 5 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated 2 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 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.
- Twitter bot for monitoring HLS streams☆10Dec 18, 2022Updated 3 years ago
- Get a Brain☆24Jan 16, 2020Updated 6 years ago
- Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.☆10Sep 26, 2018Updated 7 years ago
- ☆12Jan 18, 2016Updated 10 years ago
- A coroutine library for go☆13Jun 12, 2026Updated 2 weeks ago
- Stacky ☆ BEAM stack trace in Gleam: a stack trace of stack frames with module name, function name, arity, file name and line numb☆11Jun 6, 2024Updated 2 years ago
- Uniform Resource Locators for Common Lisp☆23Jun 11, 2025Updated last year