Minimal Prolog implemented in Rust
☆47Feb 2, 2026Updated 6 months ago
Alternatives and similar repositories for prolog-rs
Users that are interested in prolog-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Apr 7, 2021Updated 5 years ago
- ☆20Apr 17, 2019Updated 7 years ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 5 months ago
- Ada Unit Testing Library☆11Aug 3, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A comprehensive, flexible authentication framework for actix-web applications in Rust.☆17Jul 8, 2025Updated last year
- a JVM bytecode assembler☆36Apr 2, 2019Updated 7 years ago
- Elixir inspired async actor library for Rust☆22Nov 24, 2025Updated 9 months ago
- A star for organising blocks and playing with transformers.☆23Apr 28, 2024Updated 2 years ago
- Jurassic or Just-a-pic? Let our Dino-Detective decide!☆22Feb 26, 2024Updated 2 years ago
- Getting Started with Jujutsu☆14May 7, 2025Updated last year
- A new-fasioned quote! macro implementation with pretty template-engine like syntax☆19Jul 1, 2026Updated last month
- A #lang implementation of Lua 5.4 for Racket.☆58Aug 19, 2026Updated last week
- An example re-entrancy attack on a flashloan vault.☆15Nov 25, 2022Updated 3 years ago
- 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.
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated 2 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Simple and fast derive macros using macro_rules!()☆30Jun 17, 2026Updated 2 months ago
- Mutimodal LLM Lisp☆46Aug 3, 2024Updated 2 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆23Jan 2, 2025Updated last year
- nur - a taskrunner based on nu shell☆92Aug 23, 2026Updated last week
- Use format strings to create strongly-typed data pack/unpack interfaces☆64Aug 6, 2023Updated 3 years ago
- My NixOS configuration☆12Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Automated Design of Agentic Systems☆10Sep 7, 2024Updated last year
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Easily track your friends time zone☆21Jul 13, 2026Updated last month
- A Go library for handling LFU cache operations in O(1)☆42May 17, 2024Updated 2 years ago
- CLI tool to help support event sourcing applications☆12Jul 13, 2021Updated 5 years ago
- Dockerizing the quicklisp dist build process☆10Jan 3, 2019Updated 7 years ago
- Does all kind of cool stuff to make analyzing meta classes easier. Now featuring WRedLogger.py, the previous backend of NetDbg☆10Jun 7, 2023Updated 3 years ago
- Boilerplate for using F# to develop games using GODOT☆15Mar 20, 2018Updated 8 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.
- A collection of random tools for gamedev.☆17Jul 9, 2024Updated 2 years ago
- A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.☆11Updated this week
- go wrapper for rabbitmq broker☆16Mar 27, 2025Updated last year
- The WebAssembly Indirect Call Inliner☆29Oct 18, 2023Updated 2 years ago
- Datalog in PostgreSQL☆29Mar 31, 2015Updated 11 years ago
- Many queue implementations with a test-suite☆11May 4, 2022Updated 4 years ago
- Constraint geometry processing language☆18Mar 8, 2020Updated 6 years ago