Popular repositories Loading

1. LeanLTL LeanLTL Public

   A unifying framework for linear temporal logics in Lean

   Lean 8 3

2. 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

3. CIToolkit CIToolkit Public

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

   Python

4. 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

5. package_control_channel package_control_channel Public

   Forked from sublimehq/package_control_channel

   Default channel file for Package Control.

   Python

6. pegen pegen Public

   Forked from we-like-parsers/pegen

   PEG parser generator for Python

   Python