soareschen/cosmos-idris

Stars
2
Language Idris
Created over 3 years ago
Updated over 3 years ago

soareschen/cosmos-idris

soareschen

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

Tendermint, IBC, and Cosmos Blockchain Specification in Idris

es6-promise-debugging

Problem and solution for debugging ES6 Promise-based applications

ast-metaprogramming

AST Metaprogramming - a new programming paradigm

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.

babel-example

Example Babel build setup

oplss-haskell

https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Keller

node-workshop

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

web-audio-upload

Web Audio Upload Demo