twolodzko / prolog-rsView external linksLinks
Minimal Prolog implemented in Rust
☆46Feb 2, 2026Updated last week
Alternatives and similar repositories for prolog-rs
Users that are interested in prolog-rs are comparing it to the libraries listed below
Sorting:
- The symbolic links manager for your configuration files☆34Feb 4, 2026Updated last week
- Backward-compatible shim for log/slog☆10Oct 15, 2024Updated last year
- Ada Unit Testing Library☆10Aug 3, 2025Updated 6 months ago
- Air is a minimalist and universal programming language.☆17Updated this week
- Elixir inspired async actor library for Rust☆22Nov 24, 2025Updated 2 months ago
- MARS.EXE to MARS.COM☆23Mar 19, 2023Updated 2 years ago
- ☆12Jun 29, 2022Updated 3 years ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 3 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- A lightweight performant JavaScript parser for Rust and WebAssembly☆22Nov 8, 2024Updated last year
- ☆11Feb 4, 2026Updated last week
- A package that allows to create data models classes for c like structs that eases sending and reading binary messages☆20Oct 28, 2024Updated last year
- PostgreSQL Prolog language handler☆135Apr 2, 2024Updated last year
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- copyloopvar is a linter detects places where loop variables are copied.☆23Oct 28, 2025Updated 3 months ago
- A high-level profiler for process-level events such as fork, exec, exit, setpgid, and setsid☆61Nov 30, 2024Updated last year
- Cheating a little to solve the halting problem at scale☆32Nov 17, 2025Updated 2 months ago
- Roc framework for full-stack web apps☆28Feb 4, 2026Updated last week
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- A post-modern versioning scheme that does not suck.☆33Nov 28, 2024Updated last year
- A #lang implementation of Lua 5.4 for Racket.☆58Oct 25, 2025Updated 3 months ago
- The IO component of gocb☆25Updated this week
- Interpolate between embedding points with llm☆38Jul 17, 2024Updated last year
- Gateway to send UDP, RTMP, SRT or RIST streams to Galène videoconference server.☆30Dec 6, 2024Updated last year
- A compiler for an Ada-like language☆32May 5, 2025Updated 9 months ago
- C++20 coroutine runtime and cross-platform I/O library☆35Aug 26, 2024Updated last year
- A tiny text editor📝 with syntax highlighting🎨, undo/redo🧰, and a language for customizing the editor🏗️☆36May 25, 2024Updated last year
- ☆36Jul 16, 2023Updated 2 years ago
- logr implementation against the stdlib log package☆36Jul 14, 2022Updated 3 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Updated this week
- MLB Deserve-to-Win Simulator☆11Updated this week
- my personal website/blog☆14Jan 20, 2026Updated 3 weeks ago
- This is the ringzer0 writeup of web exploitation catagery. The name is "Word mean something"☆14Dec 8, 2023Updated 2 years ago
- Retro Snake game in pure x86 assembly.☆36Nov 19, 2024Updated last year
- wasm component as audio plugin☆49Jul 14, 2024Updated last year
- A Go library for handling LFU cache operations in O(1)☆41May 17, 2024Updated last year
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- Harness CI migration utility☆11Dec 17, 2025Updated last month
- Go Package provides a generic data types similar to that of Ruby☆13Jan 22, 2026Updated 3 weeks ago