Popular repositories

1. glow glow Public

   The Glow language for Blockchain Decentralized Applications.

   Scheme 56 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