Manage and edit Hollow Knight saves
☆92Mar 14, 2019Updated 7 years ago
Alternatives and similar repositories for Hollow-Knight-SaveManager
Users that are interested in Hollow-Knight-SaveManager are comparing it to the libraries listed below
Sorting:
- PostgreSQL binding for R7RS Scheme.☆21Dec 11, 2017Updated 8 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Nov 23, 2013Updated 12 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Apr 2, 2016Updated 9 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- A declarative data mapper☆13Oct 13, 2019Updated 6 years ago
- Ludum Dare Jam #45. Theme: "Start with nothing". Game: Cave - 2D survival RPG with Dark Souls battle system☆18Nov 24, 2020Updated 5 years ago
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Updated this week
- Common weakness enumeration library for Python☆16Mar 17, 2024Updated 2 years ago
- Generate a prerequisite-tracking static website. Similar to metacademy.☆10Feb 2, 2023Updated 3 years ago
- multi-logic proof generator☆11Sep 18, 2023Updated 2 years ago
- Extremely minimal parser for ELF/PE/Mach-o/ar☆42Jul 3, 2021Updated 4 years ago
- What if we put HTMX into the Django Admin?☆20Oct 18, 2023Updated 2 years ago
- A library for tracking program state☆15Jun 18, 2016Updated 9 years ago
- List of awesome resources and companies that practice microtasking☆16Feb 20, 2019Updated 7 years ago
- Home Assistant Q-Sys QRC integration☆16Nov 15, 2025Updated 4 months ago
- Vale helps you working with complex data structures. Easily get, set, unset and check the existence of values in deeply nested arrays and…☆14Dec 16, 2015Updated 10 years ago
- WIP Vanilla Super Mario 64 Randomizer☆10Jun 22, 2024Updated last year
- a lightweight square grid map system for 2D/3D SRPG games in Unity.☆16Jan 2, 2023Updated 3 years ago
- Data and source for Azure Computer Vision classify birds with Python SDK☆11Jan 20, 2021Updated 5 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆19Aug 25, 2022Updated 3 years ago
- The kernel for the Wink Hub☆11Oct 29, 2014Updated 11 years ago
- A simple application to turn on the flashlight when the phone is shaken☆13May 21, 2021Updated 4 years ago
- My dotfiles☆11Apr 16, 2023Updated 2 years ago
- chrome extension to make photobucket embeds work on third party sites☆10Oct 8, 2017Updated 8 years ago
- Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.☆19Sep 15, 2018Updated 7 years ago
- Generated migrations for beam databases☆23Feb 20, 2026Updated last month
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆40Mar 2, 2024Updated 2 years ago
- Python module to parse human-style date ranges (eg. 15th-19th March 2011) to datetimes☆36Jan 29, 2024Updated 2 years ago
- Persistence API for attr-based Python classes☆17Mar 12, 2019Updated 7 years ago
- The semantics of Python in K☆21Aug 20, 2013Updated 12 years ago
- MPRIS integration for Linux desktop media players☆17Jan 11, 2024Updated 2 years ago
- extracts data from gog's tomb raider trilogy setup executable for use with OpenLara or OpenTomb☆17Mar 13, 2021Updated 5 years ago
- An interface for GHC type-checking plugins☆21Jan 14, 2026Updated 2 months ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- ☆12Dec 8, 2020Updated 5 years ago
- Contactless Business Card: This component adds a user profile page in your app. The data source used is Office 365 but you can change it …☆19Jun 12, 2021Updated 4 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 2 years ago
- Haskell's language-c ported to Rust.☆33Apr 4, 2018Updated 7 years ago