Minimal Prolog implemented in Rust
☆47Feb 2, 2026Updated 4 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
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 3 months ago
- Air is a universal, reliable, and lean programming language.☆18May 30, 2026Updated last week
- a JVM bytecode assembler☆36Apr 2, 2019Updated 7 years 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.
- Elixir inspired async actor library for Rust☆22Nov 24, 2025Updated 6 months ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 3 years ago
- Jurassic or Just-a-pic? Let our Dino-Detective decide!☆21Feb 26, 2024Updated 2 years ago
- A new-fasioned quote! macro implementation with pretty template-engine like syntax☆19May 17, 2026Updated 3 weeks ago
- Backward-compatible shim for log/slog☆10Oct 15, 2024Updated last year
- PostgreSQL Prolog language handler☆134Apr 2, 2024Updated 2 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- ☆11Jun 2, 2026Updated last week
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A high-level profiler for process-level events such as fork, exec, exit, setpgid, and setsid☆61Nov 30, 2024Updated last year
- Roc framework for full-stack web apps☆28Updated this week
- vi clone implemented by clover2☆15Mar 24, 2021Updated 5 years ago
- ☆12Jun 29, 2022Updated 3 years ago
- A Go library for handling LFU cache operations in O(1)☆42May 17, 2024Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- Datalog in PostgreSQL☆29Mar 31, 2015Updated 11 years ago
- Constraint geometry processing language☆18Mar 8, 2020Updated 6 years ago
- A collection of random tools for gamedev.☆17Jul 9, 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.
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 3 weeks ago
- Elixir Ecto database adapter for libSQL/Turso☆35Updated this week
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- A compiler for an Ada-like language☆32May 5, 2025Updated last year
- ☆16Nov 6, 2022Updated 3 years ago
- A library to help rusters write code for Godot☆13Jan 12, 2023Updated 3 years ago
- A language with dependent data and codata types☆135May 20, 2026Updated 2 weeks ago
- A docker container for hacking on the Haskell GHC compiler☆21Sep 10, 2019Updated 6 years 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.
- linear concat language☆51Apr 17, 2026Updated last month
- A query language for exploring knowledge graphs.☆143May 30, 2025Updated last year
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Oct 31, 2025Updated 7 months ago
- 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
- Database-like Asset management on top of ECS storage☆14Feb 1, 2026Updated 4 months ago
- Boilerplate for using F# to develop games using GODOT☆15Mar 20, 2018Updated 8 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago