senkuuuuu / AmadeusLinks
A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to make it as anime-accurate as possible, el psy kongroo
☆21Updated 5 months ago
Alternatives and similar repositories for Amadeus
Users that are interested in Amadeus are comparing it to the libraries listed below
Sorting:
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- ☆16Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 10 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆35Updated this week
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated last year
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 10 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆40Updated last month
- The TacTok automated Coq proof script synthesis tool☆17Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Updated 3 years ago
- Dafny for Metatheory of Programming Languages☆26Updated 4 months ago
- ☆34Updated last year
- ☆22Updated 2 years ago
- Rust bindings for the Lean 4 proof assistant☆42Updated 3 months ago
- Complexity analysis in Lean☆10Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- ☆16Updated last year
- Partition refinement☆16Updated 2 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Updated 3 weeks ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated last week
- ☆17Updated 8 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Updated last year
- A Lean 4 package for heavy numerical computations☆19Updated 3 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- A style guide for Coq☆18Updated 4 years ago
- Aeon programming language☆24Updated last month