modal logic library for LEAN theorem prover
☆12Aug 20, 2017Updated 8 years ago
Alternatives and similar repositories for lean-modal
Users that are interested in lean-modal are comparing it to the libraries listed below
Sorting:
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 6 months ago
- An advanced orbital dynamics and n-body simulation program.☆12Sep 5, 2023Updated 2 years ago
- ☆11Apr 28, 2023Updated 2 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 simple web app for visualizing the network structure of convolutional neural networks☆12Dec 27, 2017Updated 8 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- 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
- Slack bot that indexes all messages sent in channels and can provide an interactive semantic search experience for users☆10Jan 1, 2023Updated 3 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- ☆12Oct 4, 2024Updated last year
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- A text file containing English words, along with the definition, parts of speech (noun,verb,adjective,etc.), and a link to the url where …☆13Apr 27, 2024Updated last year
- Unicode-only CJKV IDS data☆13Aug 9, 2024Updated last year
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago
- ☆12Mar 15, 2023Updated 2 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 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
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago
- Decentralized Wikipedia through IPFS☆41Oct 29, 2015Updated 10 years ago
- dmenu is an efficient dynamic menu for X. This is a fork with added functionalities.☆10Sep 27, 2018Updated 7 years ago
- Demo Rails application that uses declarative_authorization☆72Sep 6, 2010Updated 15 years ago
- A roam/render component to display a table of contents that allows you to jump to a location.☆12Nov 21, 2021Updated 4 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- Hackintosh EFI folder for GPD P2Max 2019 (OpenCore 1.0.6 / Sequoia 15.7.3) with Wi-Fi 5 (802.11ac) and iGPU acceleration support.☆17Dec 17, 2025Updated 2 months ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 5 years ago
- An Emas Major Mode for editing Answer Set Programs☆12Apr 4, 2018Updated 7 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- Deprecated! Library, CLI, and Discord bot for the unofficial ChatGPT API with progressive responses and more.☆11Dec 15, 2023Updated 2 years ago
- ☆15Aug 19, 2025Updated 6 months ago
- Mirror of the Moby Project containing public-domain lexical resources; word lists, thesaurus, hyphenation, pronunciation.☆16Jul 27, 2014Updated 11 years ago
- A Python module for retrieving script types of writing systems including alphabets, abjads, abugidas, syllabaries, logographs, featurals …☆15Jul 19, 2024Updated last year
- Text to IPA converter in JavaScript. Uses code from https://github.com/surrsurus/text-to-ipa☆14Jul 14, 2024Updated last year
- A collection of fun and interesting words in English used in the Insanity Jam's Game Idea Generator☆13Sep 8, 2022Updated 3 years ago