Giters
Glow-Lang

Glow-Lang

Geek Repo

Github PK Tool:Github PK Tool

Glow-Lang's repositories

glow

The Glow language for Blockchain Decentralized Applications.

Language:SchemeLicense:Apache-2.0Stargazers:56Issues:6Issues:384

gloui

Glow UI

Language:JavaScriptStargazers:3Issues:1Issues:1

glow2-haskell

WIP PoC prototype in haskell

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:5Issues:0

sexpr-parser

S-expression parser in Haskell

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

evm-llvm-nix

nix packaging for evm-llvm

Language:NixStargazers:0Issues:5Issues:0