Skip to content

@Glow-Lang Glow-Lang

Change the repository type filter

All

    Repositories list

    6 repositories

    • glow

      Public
      The Glow language for Blockchain Decentralized Applications.
      programming-languagedappsdapps-development
      Scheme
      •
      Apache License 2.0
      •8•58•72•9•Updated May 9, 2024May 9, 2024

    • glow2-haskell

      Public
      WIP PoC prototype in haskell
      Haskell
      •
      Other
      •1•2•0•2•Updated Oct 25, 2022Oct 25, 2022

    • agda

      Public
      Agda is a dependently typed programming language / interactive theorem prover.
      Haskell
      •
      Other
      •365•0•0•0•Updated May 4, 2022May 4, 2022

    • sexpr-parser

      Public
      S-expression parser in Haskell
      Haskell
      •
      MIT License
      •5•1•0•0•Updated Mar 12, 2022Mar 12, 2022

    • evm-llvm-nix

      Public
      nix packaging for evm-llvm
      Nix
      •0•0•0•0•Updated Mar 10, 2022Mar 10, 2022

    • gloui

      Public
      Glow UI
      JavaScript
      •0•3•1•0•Updated Sep 9, 2021Sep 9, 2021