UCSCFormalMethods

Popular repositories Loading

1. LeanLTL LeanLTL Public

   A unifying framework for linear temporal logics in Lean

   Lean 22 5

2. rv-ltl rv-ltl Public

   Python 1

3. Scenic-tmLanguage Scenic-tmLanguage Public

   Forked from MagicStack/MagicPython

   Scenic syntax highlighter for Sublime Text, Atom, and Visual Studio Code, based on MagicPython.

   JavaScript 1

4. CIToolkit CIToolkit Public

   CIToolkit is a library containing tools to create and solve instances of the Control Improvisation problem and its extensions.

   Python

5. linguist linguist Public

   Forked from github-linguist/linguist

   Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

   Ruby

6. package_control_channel package_control_channel Public

   Forked from sublimehq/package_control_channel

   Default channel file for Package Control.

   Python