Skip to content
@UCSCFormalMethods

UCSCFormalMethods

Popular repositories Loading

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

  2. CIToolkit CIToolkit Public

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

    Python

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

  4. package_control_channel package_control_channel Public

    Forked from wbond/package_control_channel

    Default channel file for Package Control.

    Python

  5. pegen pegen Public

    Forked from we-like-parsers/pegen

    PEG parser generator for Python

    Python

Repositories

Showing 5 of 5 repositories
  • pegen Public Forked from we-like-parsers/pegen

    PEG parser generator for Python

    UCSCFormalMethods/pegen’s past year of commit activity
    Python 0 MIT 36 0 0 Updated Oct 16, 2024
  • Scenic-tmLanguage Public Forked from MagicStack/MagicPython

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

    UCSCFormalMethods/Scenic-tmLanguage’s past year of commit activity
    JavaScript 1 MIT 149 0 0 Updated Jun 29, 2023
  • package_control_channel Public Forked from wbond/package_control_channel

    Default channel file for Package Control.

    UCSCFormalMethods/package_control_channel’s past year of commit activity
    Python 0 3,646 0 0 Updated Jun 28, 2023
  • linguist Public Forked from github-linguist/linguist

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

    UCSCFormalMethods/linguist’s past year of commit activity
    Ruby 0 MIT 4,938 0 0 Updated Sep 29, 2022
  • CIToolkit Public

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

    UCSCFormalMethods/CIToolkit’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 19, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…