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:
- Toy implementation of Martin-Löf Type Theory☆30Aug 29, 2022Updated 3 years ago
- The symbolic links manager for your configuration files☆34Feb 4, 2026Updated last week
- Ada Unit Testing Library☆10Aug 3, 2025Updated 6 months ago
- Backward-compatible shim for log/slog☆10Oct 15, 2024Updated last year
- MARS.EXE to MARS.COM☆23Mar 19, 2023Updated 2 years ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 3 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- An example re-entrancy attack on a flashloan vault.☆15Nov 25, 2022Updated 3 years ago
- A lightweight performant JavaScript parser for Rust and WebAssembly☆22Nov 8, 2024Updated last year
- 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
- 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
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- A post-modern versioning scheme that does not suck.☆33Nov 28, 2024Updated last year
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years 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 query language for exploring knowledge graphs.☆145May 30, 2025Updated 8 months ago
- HTML for Nix to rule them all.☆88Mar 6, 2024Updated last year
- ☆36Jul 16, 2023Updated 2 years ago
- logr implementation against the stdlib log package☆36Jul 14, 2022Updated 3 years ago
- A tiny text editor📝 with syntax highlighting🎨, undo/redo🧰, and a language for customizing the editor🏗️☆36May 25, 2024Updated last year
- 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
- Unofficial Temporal Haskell SDK☆44Updated this week
- 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
- c'est le marché☆41Jun 16, 2023Updated 2 years ago
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- ☆11Jan 3, 2023Updated 3 years ago
- A CLI tool to for crypto functions☆13Jan 13, 2025Updated last year
- ☆12Jan 28, 2026Updated 2 weeks ago
- Linguistic Reconstruction with LingPy☆15Aug 5, 2024Updated last year
- KISS password manager☆10Dec 4, 2020Updated 5 years ago
- ☆11Sep 17, 2024Updated last year
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- A basic webserver in Roc☆101Jan 13, 2026Updated last month