JavaScript code to cheat in math battle game.
☆12Jan 23, 2022Updated 4 years ago
Alternatives and similar repositories for telegram-math-battle-cheat
Users that are interested in telegram-math-battle-cheat are comparing it to the libraries listed below
Sorting:
- ☆11Nov 12, 2017Updated 8 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- ☆10Sep 24, 2022Updated 3 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- Demo Rails application that uses declarative_authorization☆72Sep 6, 2010Updated 15 years ago
- A simple DB migration tool for Go☆14Aug 30, 2020Updated 5 years ago
- A plugin for the IntelliJ-IDEA displaying varies vehicles from Star Wars☆13Feb 27, 2026Updated last week
- RZ09-03017E02 Hackintosh (almost-completely-working)☆10Feb 20, 2022Updated 4 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- برنامه پیدا کردن کلمه واجور☆11Jan 20, 2022Updated 4 years ago
- A sample project created using modern-package-template☆12Jul 11, 2010Updated 15 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- ☆15Aug 8, 2025Updated 6 months ago
- Subteez-Subscene Proxy Server☆14Nov 23, 2021Updated 4 years ago
- GoFiber bootstrap☆12Sep 18, 2022Updated 3 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- Learn how to pay less for your downloads in Iran☆14Dec 13, 2025Updated 2 months ago
- Telegram Bot (Golang / Ngrok / WebHook)☆14Feb 2, 2018Updated 8 years ago
- learning to play atari games with reinforcement learning☆10Jan 4, 2016Updated 10 years ago
- How to use LLVM coverage for C++☆13Sep 27, 2019Updated 6 years ago
- Examples of common usage of the Cyc APIs.☆17Jan 18, 2018Updated 8 years ago
- broadcast channel in golang☆18Mar 7, 2023Updated 3 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Sep 5, 2024Updated last year
- Tema per i documenti pubblicati su Docs Italia☆17Nov 29, 2024Updated last year
- ☆14Dec 16, 2022Updated 3 years ago
- python script to generate all valid iranian national code by state or city name☆15Sep 20, 2025Updated 5 months ago
- Tools for stress testing applications.☆12Sep 20, 2020Updated 5 years ago
- STRIPS benchmarks for classical planning☆14Mar 29, 2022Updated 3 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- An interface for works with gorilla mux☆14Feb 15, 2024Updated 2 years ago
- Yet another Python project template.☆13Sep 13, 2024Updated last year