Skip to content

@scmlab scmlab

Change the repository type filter

All

    Repositories list

    14 repositories

    • gcl

      Public
      backend of Guabao
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•11•5•0•Updated Sep 3, 2024Sep 3, 2024

    • gcl-vscode

      Public
      vscode extension for GCL
      ReScript
      •
      MIT License
      •2•0•0•4•Updated Mar 14, 2023Mar 14, 2023

    • gcl-atom

      Public
      Reason
      •
      MIT License
      •0•1•3•11•Updated Jan 7, 2023Jan 7, 2023

    • guabao

      Public
      CSS
      •
      MIT License
      •1•0•0•0•Updated Nov 8, 2022Nov 8, 2022

    • exprtrans

      Public
      Haskell
      •0•0•0•0•Updated Oct 10, 2021Oct 10, 2021

    • gcl-textmate-grammar

      Public
      Generates TextMate grammars so that you don't have to
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Jun 16, 2021Jun 16, 2021

    • I-Love-Lean

      Public
      Lean
      •0•3•0•0•Updated Apr 21, 2021Apr 21, 2021

    • language-gcl

      Public
      MIT License
      •0•0•0•0•Updated May 19, 2020May 19, 2020

    • tree-sitter-gcl

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated May 19, 2020May 19, 2020

    • cp

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated May 5, 2020May 5, 2020

    • effect-handling

      Public
      Agda
      •0•0•0•0•Updated Dec 4, 2019Dec 4, 2019

    • pi

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•0•0•Updated Apr 2, 2019Apr 2, 2019

    • tree-sitter-pi

      Public
      tree-sitter parser for the language pi
      tree-sitterparser
      C
      •0•0•0•0•Updated Mar 20, 2019Mar 20, 2019

    • language-pi

      Public
      MIT License
      •0•0•0•0•Updated Dec 12, 2018Dec 12, 2018