microKanren-py
nests-and-insects
microKanren-py | nests-and-insects | |
---|---|---|
1 | 22 | |
5 | 55 | |
- | - | |
0.0 | 0.0 | |
about 1 year ago | 2 months ago | |
Python | Prolog | |
- | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
microKanren-py
-
Annotated implementation of microKanren: an embeddable logic language
I did a mostly-true-to-the-paper python implementation a while back, that may be helpful as well: https://github.com/Erik-J-D/microKanren-py
nests-and-insects
-
Writing my PhD using groff
I wrote my PhD in LaTex with the simplest template I could find online (luckily someone hat put one up formatted for my university's engineering department and I didn't have to mess with it almost at all).
But once I was done, I wanted to blow off some steam and started writing a silly little tabletop RPG. I decided the rulebook would be text-only for portability with box drawing borders and ASCII tables and stuff, so I spent the first week or so writing a small ASCII typesetting engine in Prolog (because logic programmer).
And then I spent more time writing a vim syntax file so I could read the glorious ASCII with syntax highlighting.
Here:
https://github.com/stassa/nests-and-insects
I'm still looking for ANSI/ ASCII art contributions btw.
-
Light Attack, Heavy Attack?
Sorry to plug my game but the way it works is that characters have a Base Attack and Special Attack, and which attack hits or misses depends on the Degree of Success (DoS) of the attack roll.
-
Bitty RPG idea
This is absolutely very interesting to me! My own game is inspired by roguelikes and it's got text-based art. I was going to go with pixel art for my next game but you ninja'd me :P
- Procedural generation in Nests & Insects
- Nests & Insects - my text-based tabletop RPG
- Nests & Insects - my text-based tabletop roguelike RPG
- Looking for ANSI art for my tabletop RPG
-
Creating an RPG with no math
Probably not what you are looking for but my game, Nests & Insects, is designed to remove all arithmetic from action resolution it and it is very, very far from a rules-light game like Lasers & Feeling. It's a roll-under-and-over d100 game. Even increasing or reducing the value of "Features" is done without arithmetic.
- Keywords!
What are some alternatives?
Gleemin - A Magic: the Gatheringā¢ expert system
louise - Polynomial-time Meta-Interpretive Learning
mediKanren - Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
edcg - Extended DCG syntax for Prolog by Peter Van Roy
kanren - An extensible, lightweight relational/logic programming DSL written in pure Python
texmacs-vi-experiment - Experimental Vi keybindings for the texmacs math editor
scryer-prolog - A modern Prolog implementation written mostly in Rust.
muKanren_reading - [Mirror] A close reading of the Ī¼Kanren paper.
wh40ksim - Warhammer 40k Combat simulator