Soares Chen's repositories
ast-metaprogramming
AST Metaprogramming - a new programming paradigm
babel-example
Example Babel build setup
cosmos-idris
Tendermint, IBC, and Cosmos Blockchain Specification in Idris
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)
ai-economist
Foundation is a flexible, modular, and composable framework to model socio-economic behaviors and dynamics with both agents and governments. This framework can be used in conjunction with reinforcement learning to learn optimal economic policies, as done by the AI Economist (https://www.einstein.ai/the-ai-economist).
catala
Programming language for literate programming law specification
fp-course
Functional Programming Course
hspec-expectations
Catchy combinators for HUnit
monad.js
Some attempts to implement monad in JavaScript
nixpkgs
Nix Packages collection
node-browserify
browser-side require() the node.js way
node-resolve
Implements the node.js require.resolve() algorithm
permissions
Permissions API
risc0-hello-world
Hello world build in RiscZero with Nix support
substrate-node-test
Test std support on Substrate
web-platform-tests
Test suites for Web-platform specs — including WHATWG, W3C and others
webrtc-pc
WebRTC 1.0 API
webrtc-stats
WebRTC Statistics
zfoh.ch
Our homepage