Minimal Prolog implemented in Rust
☆46Feb 2, 2026Updated last month
Alternatives and similar repositories for prolog-rs
Users that are interested in prolog-rs are comparing it to the libraries listed below
Sorting:
- Toy implementation of Martin-Löf Type Theory☆30Updated this week
- Ada Unit Testing Library☆10Aug 3, 2025Updated 7 months ago
- Backward-compatible shim for log/slog☆10Oct 15, 2024Updated last year
- Elixir inspired async actor library for Rust☆22Nov 24, 2025Updated 3 months ago
- ☆12Jun 29, 2022Updated 3 years ago
- MARS.EXE to MARS.COM☆23Mar 19, 2023Updated 2 years ago
- ☆12Apr 7, 2021Updated 4 years ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 3 years ago
- 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
- ☆11Feb 4, 2026Updated last month
- PostgreSQL Prolog language handler☆134Apr 2, 2024Updated last year
- A star for organising blocks and playing with transformers.☆23Apr 28, 2024Updated last year
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- A high-level profiler for process-level events such as fork, exec, exit, setpgid, and setsid☆61Nov 30, 2024Updated last year
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- A post-modern versioning scheme that does not suck.☆33Nov 28, 2024Updated last year
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- The IO component of gocb☆25Feb 18, 2026Updated 2 weeks ago
- a JVM bytecode assembler☆34Apr 2, 2019Updated 6 years ago
- 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
- ☆36Jul 16, 2023Updated 2 years ago
- A tiny text editor📝 with syntax highlighting🎨, undo/redo🧰, and a language for customizing the editor🏗️☆36May 25, 2024Updated last year
- ☆145Jan 24, 2026Updated last month
- Mutimodal LLM Lisp☆45Aug 3, 2024Updated last year
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- Retro Snake game in pure x86 assembly.☆35Nov 19, 2024Updated last year
- This is the ringzer0 writeup of web exploitation catagery. The name is "Word mean something"☆14Dec 8, 2023Updated 2 years ago
- An Arduino based, Kenwood DG5 emulator for the TS-520S☆10May 10, 2025Updated 9 months ago
- my personal website/blog☆13Feb 13, 2026Updated 3 weeks ago
- Unofficial Temporal Haskell SDK☆44Feb 26, 2026Updated last week
- wasm component as audio plugin☆50Jul 14, 2024Updated last year
- Datalog in PostgreSQL☆29Mar 31, 2015Updated 10 years ago
- c'est le marché☆41Jun 16, 2023Updated 2 years ago
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- Harness CI migration utility☆11Feb 14, 2026Updated 3 weeks ago
- Linguistic Reconstruction with LingPy☆15Aug 5, 2024Updated last year
- Certificate authority fixtures for Go tests☆14Oct 4, 2021Updated 4 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 2 weeks ago