Minimal Prolog implemented in Rust
☆47Feb 2, 2026Updated 5 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:
- 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 4 months ago
- Ada Unit Testing Library☆11Aug 3, 2025Updated 11 months ago
- Air is a universal, reliable, and lean programming language.☆19Jun 30, 2026Updated 3 weeks ago
- A comprehensive, flexible authentication framework for actix-web applications in Rust.☆17Jul 8, 2025Updated last year
- 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.
- a JVM bytecode assembler☆36Apr 2, 2019Updated 7 years ago
- Elixir inspired async actor library for Rust☆22Nov 24, 2025Updated 7 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
- nur - a taskrunner based on nu shell☆92Jun 27, 2026Updated 3 weeks ago
- A very lightweight bevy ui framework with just the most important bits of bevy_sickle_ui☆13Mar 24, 2026Updated 3 months ago
- A new-fasioned quote! macro implementation with pretty template-engine like syntax☆19Jul 1, 2026Updated 2 weeks ago
- A #lang implementation of Lua 5.4 for Racket.☆58Updated this week
- Use format strings to create strongly-typed data pack/unpack interfaces☆64Aug 6, 2023Updated 2 years ago
- 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.
- My NixOS configuration☆12Updated this week
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Dockerizing the quicklisp dist build process☆10Jan 3, 2019Updated 7 years ago
- Hot-reloading manager for neovim lua plugin development☆23Jun 28, 2026Updated 3 weeks ago
- Boilerplate for using F# to develop games using GODOT☆15Mar 20, 2018Updated 8 years ago
- The Directed Acyclic Graph Elevation Markup Language☆79Apr 17, 2025Updated last year
- The WebAssembly Indirect Call Inliner☆29Oct 18, 2023Updated 2 years ago
- go wrapper for rabbitmq broker☆16Mar 27, 2025Updated last year
- Many queue implementations with a test-suite☆11May 4, 2022Updated 4 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.
- ☆18Apr 20, 2026Updated 3 months ago
- PostgreSQL Prolog language handler☆134Apr 2, 2024Updated 2 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 2 months ago
- A compiler for an Ada-like language☆32May 5, 2025Updated last year
- 🧪 This is not real code☆13Aug 5, 2022Updated 3 years ago
- A language with dependent data and codata types☆141Updated this week
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 7 years ago
- ☆17Nov 6, 2022Updated 3 years ago
- 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.
- A library to help rusters write code for Godot☆13Jan 12, 2023Updated 3 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- A graph implementation in Rust.☆34Oct 6, 2025Updated 9 months ago
- Your whole repo in one window — graph, PRs/MRs, issues, CI/CD, releases, terminals, AI agents, an in-repo HTTP workspace, and an in-app e…☆15Jul 3, 2026Updated 2 weeks ago
- A micro C compiler for x86-64☆26May 30, 2026Updated last month
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago