Skip to content
@Glow-Lang

Glow-Lang

Popular repositories Loading

  1. glow glow Public

    The Glow language for Blockchain Decentralized Applications.

    Scheme 58 8

  2. gloui gloui Public

    Glow UI

    JavaScript 3

  3. glow2-haskell glow2-haskell Public

    WIP PoC prototype in haskell

    Haskell 2 1

  4. sexpr-parser sexpr-parser Public

    Forked from rcook/sexpr-parser

    S-expression parser in Haskell

    Haskell 1

  5. evm-llvm-nix evm-llvm-nix Public

    nix packaging for evm-llvm

    Nix

  6. agda agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell

Repositories

Showing 6 of 6 repositories
  • glow Public

    The Glow language for Blockchain Decentralized Applications.

    Glow-Lang/glow’s past year of commit activity
    Scheme 58 Apache-2.0 8 72 (1 issue needs help) 9 Updated May 9, 2024
  • glow2-haskell Public

    WIP PoC prototype in haskell

    Glow-Lang/glow2-haskell’s past year of commit activity
    Haskell 2 1 0 2 Updated Oct 25, 2022
  • agda Public Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Glow-Lang/agda’s past year of commit activity
    Haskell 0 363 0 0 Updated May 4, 2022
  • sexpr-parser Public Forked from rcook/sexpr-parser

    S-expression parser in Haskell

    Glow-Lang/sexpr-parser’s past year of commit activity
    Haskell 1 MIT 5 0 0 Updated Mar 12, 2022
  • evm-llvm-nix Public

    nix packaging for evm-llvm

    Glow-Lang/evm-llvm-nix’s past year of commit activity
    Nix 0 0 0 0 Updated Mar 10, 2022
  • gloui Public

    Glow UI

    Glow-Lang/gloui’s past year of commit activity
    JavaScript 3 0 1 0 Updated Sep 9, 2021

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…