Skip to content
@scmlab

scmlab

Popular repositories Loading

  1. gcl gcl Public

    backend of Guabao

    Haskell 11 4

  2. pi pi Public

    Haskell 4

  3. I-Love-Lean I-Love-Lean Public

    Lean 3

  4. gcl-textmate-grammar gcl-textmate-grammar Public

    Generates TextMate grammars so that you don't have to

    Haskell 2

  5. gcl-atom gcl-atom Public

    Reason 1

  6. language-pi language-pi Public

Repositories

Showing 10 of 14 repositories
  • gcl Public

    backend of Guabao

    scmlab/gcl’s past year of commit activity
    Haskell 11 BSD-3-Clause 4 5 0 Updated Sep 3, 2024
  • gcl-vscode Public

    vscode extension for GCL

    scmlab/gcl-vscode’s past year of commit activity
    ReScript 0 MIT 2 0 4 Updated Mar 14, 2023
  • gcl-atom Public
    scmlab/gcl-atom’s past year of commit activity
    Reason 1 MIT 0 3 11 Updated Jan 7, 2023
  • guabao Public
    scmlab/guabao’s past year of commit activity
    CSS 0 MIT 1 0 0 Updated Nov 8, 2022
  • exprtrans Public
    scmlab/exprtrans’s past year of commit activity
    Haskell 0 0 0 0 Updated Oct 10, 2021
  • gcl-textmate-grammar Public

    Generates TextMate grammars so that you don't have to

    scmlab/gcl-textmate-grammar’s past year of commit activity
    Haskell 2 BSD-3-Clause 0 0 0 Updated Jun 16, 2021
  • I-Love-Lean Public
    scmlab/I-Love-Lean’s past year of commit activity
    Lean 3 0 0 0 Updated Apr 21, 2021
  • language-gcl Public
    scmlab/language-gcl’s past year of commit activity
    0 MIT 0 0 0 Updated May 19, 2020
  • tree-sitter-gcl Public
    scmlab/tree-sitter-gcl’s past year of commit activity
    C 0 MIT 0 0 0 Updated May 19, 2020
  • cp Public
    scmlab/cp’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated May 5, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…