🗿 SAT solver wrappers for Kotlin
☆11Mar 2, 2024Updated 2 years ago
Alternatives and similar repositories for kotlin-satlib
Users that are interested in kotlin-satlib are comparing it to the libraries listed below
Sorting:
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Kotlin/Java API for various SMT solvers☆36Oct 8, 2025Updated 4 months ago
- A superior pairing function☆15Dec 10, 2018Updated 7 years ago
- 📸 Augmened reality for trace link navigation.☆18Dec 23, 2022Updated 3 years ago
- ☆21Jan 8, 2017Updated 9 years ago
- For when you are stuck in Java 8 but want to use new language features and dependencies☆29Aug 23, 2022Updated 3 years ago
- A platform for analysis of Java bytecode☆39Oct 14, 2024Updated last year
- 5GTANGO Smart Manufacturing Pilot☆13May 1, 2023Updated 2 years ago
- Take control of your friends wallpapers☆14Mar 11, 2024Updated last year
- JEI/REI/EMI plugin that displays breeding information☆13Feb 8, 2026Updated 3 weeks ago
- Litmus testing tool for Kotlin/Native☆71Apr 22, 2025Updated 10 months ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆41Apr 19, 2021Updated 4 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- ☆12Nov 22, 2024Updated last year
- Opinionated tool to typeset theorems, lemmas and such☆30Feb 4, 2026Updated last month
- Updated repository of the webcam headtracker☆14Mar 12, 2023Updated 2 years ago
- OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY☆19Nov 29, 2025Updated 3 months ago
- Core animation code for GeckoLib. This is a plain old java library, no dependence on minecraft or a specific mod loader.☆12Dec 3, 2023Updated 2 years ago
- The motion model software development kit for the LandSAR search and rescue software platform☆18Feb 3, 2026Updated last month
- Relation algebra library for Coq☆50Feb 17, 2026Updated 2 weeks ago
- ☆11May 8, 2019Updated 6 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- Evolving Objects (EO): an Evolutionary Computation Framework☆12Sep 9, 2016Updated 9 years ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 5 months ago
- ☆12May 10, 2021Updated 4 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Stream Deck Pixel Art icon packs.☆15Nov 22, 2022Updated 3 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and…☆12Dec 11, 2022Updated 3 years ago
- An engine for PPL/PPE PCBoard handling - just for fun.☆14Apr 8, 2024Updated last year
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- Happy Little Decision Tree☆16Jan 12, 2018Updated 8 years ago
- A detailed implementation of the TrueSkill algorithm in the Java language.☆11Sep 5, 2015Updated 10 years ago
- Minimal Kotlin implementation of Mustache templates☆11Mar 10, 2024Updated last year
- A Proposed new backend for PolyMC's instance management system☆10Oct 19, 2022Updated 3 years ago
- Implements a minimalistic version of Stable Cascade training☆13Oct 24, 2024Updated last year