Mids Reborn is a modernized hero design platform built in C#, focused on system correctness, performance, and user-driven iteration.
☆33Jun 26, 2026Updated 3 weeks ago
Alternatives and similar repositories for MidsReborn
Users that are interested in MidsReborn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mid's Hero Designer reborn with Pine's help☆25Dec 8, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- UI for GTA 5's microblogging site built using F# and Fable☆13May 24, 2023Updated 3 years ago
- A mess of an util for Noita stuff - can unpack data.wak☆14Oct 10, 2019Updated 6 years ago
- ☆11Jan 8, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Giffleball is a web site for Gifs☆14Jan 26, 2018Updated 8 years ago
- Interfacing for Blink(1)☆13Updated this week
- ☆15Jul 6, 2026Updated 2 weeks ago
- ☆15Feb 28, 2025Updated last year
- ☆16Jun 22, 2024Updated 2 years ago
- Incremental game using Angular JS☆11Apr 27, 2017Updated 9 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- ☆20Jan 26, 2022Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Feb 26, 2026Updated 4 months ago
- instagram bot reports spam☆10Oct 19, 2020Updated 5 years ago
- A tool for drawing derivation trees of Tau Prolog☆11Feb 23, 2022Updated 4 years ago
- Expert system for coastal navigation prototype☆11Oct 23, 2016Updated 9 years ago
- ☆11May 31, 2025Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- An ansible role which configures metrics collection.☆17Updated this week
- ☆18Feb 20, 2024Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Jul 14, 2026Updated last week
- 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.
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆16Mar 3, 2024Updated 2 years ago
- A miniature version of the l4 language☆13Jun 29, 2025Updated last year
- ☆14Mar 27, 2024Updated 2 years ago
- ☆16Oct 26, 2013Updated 12 years ago
- img-to-html is a Python script that converts every pixel from an image, to a HTML element.☆15Sep 1, 2020Updated 5 years ago
- example template for creating new subsystem roles☆15Updated this week
- A parser for ANSI C, in Lean4.☆26Nov 16, 2023Updated 2 years ago
- ☆21Nov 25, 2020Updated 5 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Jul 15, 2026Updated last week
- A public repo for tracking opt-out lists for modders☆12Jun 30, 2026Updated 3 weeks ago
- Basic Unicode support for Lean 4☆16Updated this week
- We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).☆15Jul 2, 2025Updated last year
- IDE for rete4frames based on Protege-3.5☆17Sep 18, 2017Updated 8 years ago
- ☆20Jun 1, 2024Updated 2 years ago
- [EMNLP'23] Code for Generating Data for Symbolic Language with Large Language Models☆18Oct 21, 2023Updated 2 years ago