☆13Dec 11, 2019Updated 6 years ago
Alternatives and similar repositories for AIDungeon-Uncensored
Users that are interested in AIDungeon-Uncensored are comparing it to the libraries listed below
Sorting:
- Only for real elders who really want to experience old AI Dungeon experience.☆10Nov 8, 2020Updated 5 years ago
- reusable and tested building blocks for every screeps code base☆23Mar 12, 2018Updated 7 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- ☆11Oct 31, 2021Updated 4 years ago
- After Effects expressions☆16Jul 12, 2013Updated 12 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆13Jul 8, 2024Updated last year
- An ORM framework for Typescript that lets you fluently query the database with a strong typed programming interface.☆12Jan 15, 2018Updated 8 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- A mongoose plugin for logging activities☆10Feb 1, 2023Updated 3 years ago
- Admin UI for Meteor.js' Accounts/Users☆64May 10, 2015Updated 10 years ago
- A script to export After Effects projects to JSON☆16Nov 21, 2012Updated 13 years ago
- Github Action to make a change to a JSON file☆12May 13, 2020Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Cool WebGL backgrounds, formatted for simple integration on your website or Windows.☆14Sep 11, 2020Updated 5 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- Check if a datum exists without reading its value☆12Feb 28, 2026Updated last week
- Data structure that maps entries to numeric ids☆14Aug 16, 2015Updated 10 years ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- Check your caching layer before running your promises☆13Jan 5, 2023Updated 3 years ago
- Simple ECMAScript feature detection module☆10Dec 20, 2019Updated 6 years ago
- 🖕 Get all "bad words" in a string☆10Apr 20, 2019Updated 6 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Updated this week
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆13Mar 4, 2015Updated 11 years ago
- Provides a preview when hovering CSS easing functions in VS Code.☆14Jun 25, 2024Updated last year
- Auto math prover.☆11Jul 10, 2024Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Get the visual width of a string - the number of columns required to display it☆13Oct 28, 2023Updated 2 years ago
- What if your browser's new tab page was a terminal? Based on Chrome OS's hterm☆12May 18, 2017Updated 8 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 8 months ago
- A massaging of DJB's various client libraries into something that's easy to build and use☆14Aug 20, 2008Updated 17 years ago
- Fork of node-named (DNS server in node.js) with AXFR, IXFR, TCP support and more☆11Nov 3, 2021Updated 4 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- TrainmanJS - Cross-Origin Communication Library☆16Jul 13, 2019Updated 6 years ago