Provides examples as to how we might store, modify, and realize Rensa assertions in Python v2. Please get in touch if you'd like access to the more formal dev release.
☆12Jun 18, 2017Updated 9 years ago
Alternatives and similar repositories for rensapy
Users that are interested in rensapy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalism and proofs for esverify☆20May 26, 2018Updated 8 years ago
- [AIIDE 2025] Official code for "CoDi: A Director-Actor Framework for Goal-Driven Interactive Story Generation with LLMs"☆15Nov 19, 2025Updated 8 months ago
- Landing page for the Pixel Art Academy Kickstarter campaign.☆12Sep 19, 2015Updated 10 years ago
- Provides examples to demonstrate how FIGURE8 works. (Note: this version is deprecated and no longer recommended as a teaching demo. Ple…☆18Dec 24, 2015Updated 10 years ago
- A tracery Twitter bot, generating graphic scores to inspire musicians, composers, and anyone else.☆10Mar 12, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- Purescript bindings for MathBox☆18Dec 2, 2020Updated 5 years ago
- ☆14Sep 13, 2016Updated 9 years ago
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆12Mar 30, 2022Updated 4 years ago
- A demo built with the Unity General Mediation Engine (UGME), called Base Case.☆12Jan 20, 2017Updated 9 years ago
- Example 2D game for Unity3D with lighting effects and maze generation.☆11Apr 26, 2019Updated 7 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Open source templates for making games with Fungus☆13Jul 22, 2016Updated 10 years ago
- Choba is an experimental interactive storytelling engine written in JavaScript. It is intended for choice-based interactive fiction (IF),…☆26Feb 26, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LinkRemark - page or link notes with context☆18Jun 17, 2025Updated last year
- A personal time tracker.☆16Mar 29, 2022Updated 4 years ago
- Tutorial materials for Ceptre.☆15Nov 15, 2016Updated 9 years ago
- L-Lisp is a framework for generating and simulating plants and fractals in Common Lisp - One day I will port this to cl-opengl or CEPL☆11Sep 22, 2018Updated 7 years ago
- ☆19Jan 7, 2013Updated 13 years ago
- A native portability library for access to gamepads and joystick input devices☆15May 18, 2026Updated 2 months ago
- Evaluate and visualize DataFrame directly in the same Inspector window.☆14Sep 29, 2025Updated 9 months ago
- Understanding game design inspiration of roguelike games via web scraping and network analysis.☆20Jul 2, 2020Updated 6 years ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆39Jul 25, 2017Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A small event system for games☆15Feb 29, 2020Updated 6 years ago
- Agent Development and Prototyping Testbed☆30Oct 3, 2021Updated 4 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Mar 19, 2016Updated 10 years ago
- Word2World is an LLM-based PCG system that creates playable 2D world from stories☆68Mar 16, 2026Updated 4 months ago
- Effort to convert the RPG Design Patterns into a nice ePUB format☆16Jul 5, 2016Updated 10 years ago
- Chinese word segmentation in tensorflow 2.x☆23Mar 25, 2023Updated 3 years ago
- uFrame Architect Framework☆15Aug 31, 2017Updated 8 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Jun 5, 2023Updated 3 years ago
- Prancer web framework for Perl 6 and Crust☆13Jul 6, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An open-source social news app built with Meteor☆19Apr 12, 2016Updated 10 years ago
- tinyterm fork against vte3 running as a single instance☆10Dec 16, 2018Updated 7 years ago
- Novel generator written for NaNoGenMo 2015☆25Mar 4, 2024Updated 2 years ago
- ECMAScript verification with SMT solvers☆126Jun 16, 2024Updated 2 years ago
- This little snippet allows you to see which objects you are hovering over in the Unity3D hierarchy pane. It also shows which objects are …☆27Jul 25, 2017Updated 8 years ago
- A grammar generator based on tracery: https://github.com/galaxykate/tracery☆20Jun 30, 2026Updated 3 weeks ago
- Fully procedural GLSL eyeball shader☆11Sep 14, 2015Updated 10 years ago