Hacker News
- Scryer Prolog: A modern Prolog implementation written mostly in Rust https://github.com/mthom/scryer-prolog 95 comments
- Modern Prolog Implemented in Rust https://github.com/mthom/scryer-prolog 20 comments
Lobsters
- A modern Prolog implementation written mostly in Rust https://github.com/mthom/scryer-prolog 13 comments programming
- Modern Prolog implementation in pure Rust https://github.com/mthom/scryer-prolog 8 comments rust
- rusty-wam is now Scryer Prolog http://github.com/mthom/scryer-prolog 5 comments prolog
Linking pages
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust 178 comments
- GitHub - aarroyoc/postgresql-prolog: A Prolog library to connect to PostgreSQL databases https://github.com/aarroyoc/postgresql-prolog 20 comments
- GitHub - klaudiosinani/awesome-prolog: Curated list of Prolog packages and resources https://github.com/klauscfhq/awesome-prolog 15 comments
- arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 comments
- GitHub - triska/the-power-of-prolog: Introduction to modern Prolog https://github.com/triska/the-power-of-prolog 11 comments
- GitHub - alilleybrinker/langs-in-rust: A list of programming languages implemented in Rust, for inspiration. https://github.com/alilleybrinker/langs-in-rust 10 comments
- GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust?tab=readme-ov-file#database 9 comments
- GitHub - aarroyoc/djota: A Djot implementation in Prolog https://github.com/aarroyoc/djota 2 comments
- GitHub - eyereasoner/marble: Eye emulation in Scryer Prolog https://github.com/josd/imagining 1 comment
- Egglog: a Prolog Syntax for Egg, Checkpoint I | Hey There Buddo! https://www.philipzucker.com/egglog-checkpoint/ 0 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
- Lyncex - Building blocks for web development in Prolog http://lyncex.com/ 0 comments
- GitHub - aarroyoc/marquete: Markdown for Prolog https://github.com/aarroyoc/marquete 0 comments
- GitHub - jasagredo/advent-of-prolog-2023: Advent of Prolog 2023 https://github.com/jasagredo/advent-of-prolog-2023 0 comments
Linked pages
- GNU Emacs - GNU Project http://gnu.org/software/emacs/index.html 676 comments
- GitHub - microsoft/terminal: The new Windows Terminal and the original Windows console host, all in the same place! https://github.com/microsoft/Terminal 288 comments
- Libera Chat | A next-generation IRC network for FOSS projects collaboration! https://libera.chat 265 comments
- The Shen Group http://www.shenlanguage.org/ 226 comments
- MSYS2 https://www.msys2.org/ 80 comments
- JSON https://www.json.org/json-en.html 73 comments
- Use volumes | Docker Documentation https://docs.docker.com/storage/volumes/ 53 comments
- Scryer Prolog https://www.scryer.pl 43 comments
- Install Rust - Rust Programming Language http://www.rust-lang.org/install.html 27 comments
- http://www.info.ucl.ac.be/~pvr/peter.thesis/peter.thesis.html 1 comment
- RFC 5321: Simple Mail Transfer Protocol https://www.rfc-editor.org/rfc/rfc5321#section-4.5.2 1 comment
- hyper - fast and safe HTTP for the Rust language https://hyper.rs/ 0 comments
- rustup.rs - The Rust toolchain installer https://www.rustup.rs/ 0 comments
- [1607.01590] Indexing dif/2 https://arxiv.org/abs/1607.01590 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust.
See how to search.