soareschen/cosmos-idris soareschen/cosmos-idris

  • Stars
    star
    2
  • Language Idris
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
soareschen/cosmos-idris
github

soareschen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tendermint, IBC, and Cosmos Blockchain Specification in Idris

More Repositories

1

es6-promise-debugging

Problem and solution for debugging ES6 Promise-based applications
JavaScript
59
star
2

ast-metaprogramming

AST Metaprogramming - a new programming paradigm
7
star
3

boost.ustr

Boost.Ustr provides a Unicode string adapter class that wraps traditional string containers such as std::string to attach Unicode encoding semantics to it.
C++
6
star
4

babel-example

Example Babel build setup
JavaScript
2
star
5

oplss-haskell

https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Keller
Nix
2
star
6

node-workshop

Material for my Node.js workshop. (https://www.learnemy.com/groups/javascript-programming-in-node-js)
JavaScript
1
star
7

web-audio-upload

Web Audio Upload Demo
JavaScript
1
star