Modal Logic Library in Coq
☆16Apr 28, 2022Updated 3 years ago
Alternatives and similar repositories for ModalLibrary
Users that are interested in ModalLibrary are comparing it to the libraries listed below
Sorting:
- Material para Matemática Discreta☆10Jul 31, 2016Updated 9 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Feb 16, 2026Updated last week
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- Formalization of Axiomatic Set Theory in Coq☆19Oct 29, 2019Updated 6 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- A tool to easily package your Blender add-on☆18Feb 12, 2026Updated 2 weeks ago
- Open-source framework for science presentations and talks, generating interactive HTML from simple Python based interface.☆13Jul 21, 2025Updated 7 months ago
- Search for a given subsequence in a list of strings and transform the resulting list as required☆18Nov 15, 2015Updated 10 years ago
- Multilingual Language Modeling Toolkit☆11May 25, 2017Updated 8 years ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- Interactive map of the Italian regions and provinces.☆10Apr 5, 2018Updated 7 years ago
- Some of the stuff I am currently using for my Chinese studies☆13Dec 1, 2018Updated 7 years ago
- The BeatLounge☆10Jul 24, 2012Updated 13 years ago
- A basic education user interface for learning Chinese and practice Chinese handwriting. Sketch recognition techniques were utilized to re…☆15Sep 16, 2017Updated 8 years ago
- bigram / trigram analysis of wikipedia; mainly mutual info☆22Mar 6, 2012Updated 13 years ago
- Change cursor-color dynamically on Emacs.☆11Dec 7, 2020Updated 5 years ago
- A very basic JavaScript implementation of a context menu☆11Jan 25, 2020Updated 6 years ago
- Zurich Morphological Lexicon for German: a tool to extract a morphological lexicon from Wiktionary☆12Aug 10, 2023Updated 2 years ago
- A collection of packages for chess analysis grouped under a @chess-tools scope.☆10Nov 4, 2018Updated 7 years ago
- This is an Emacs mode that allows you to store overlays between sessions. This is useful for keeping your code folding in hideshow mode, …☆12Nov 28, 2016Updated 9 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Org-babel support for blockdiag☆11Apr 25, 2021Updated 4 years ago
- Command-line corpus tools☆10May 15, 2017Updated 8 years ago
- Web app for a practice of four Chinese tones recognition.☆13Aug 29, 2023Updated 2 years ago
- Italian full-text search dictionary and configuration for PostgreSQL☆14Nov 26, 2020Updated 5 years ago
- A curated list of awesome Molecular Modeling And Drug Discovery 🔥☆11Jul 21, 2022Updated 3 years ago
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 10 years ago
- Inline MSIL in PowerShell☆15Apr 30, 2014Updated 11 years ago
- LilyPond mini-score engraving and sharing service for musicians.☆22Jan 19, 2016Updated 10 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- Python implementation of Avro Phonetic☆15Feb 9, 2018Updated 8 years ago
- A helper for studying chinese☆11Sep 11, 2024Updated last year
- A widget manager for Elgg☆21Oct 17, 2025Updated 4 months ago
- Python implementation of Avro Phonetic☆10Feb 25, 2025Updated last year
- A JavaScript toolkit for remote net art performance.☆12May 1, 2016Updated 9 years ago