Repos
16
Stars
5
Forks
4
Top Language
Scala
Loading contributions...
Top Repositories
RhoLang Lexer/Parser, copiler/interpreter frontend with excellent error messages.
Personal blog
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
BNF Converter
Repositories
16Personal blog
No description provided.
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
RhoLang Lexer/Parser, copiler/interpreter frontend with excellent error messages.
No description provided.
BNF Converter
Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
No description provided.
Any stuff to "Designing Computational Calculi" course
No description provided.
Learning materials including slides, exercises, etc for our discussion of the pi calculus.
Principal scheme of RChain Blockchain Ecosystem
Scala Combinators examples (algebra, category theory, ...)
No description provided.
Cryptographic primitives for Scala
An extension to the core Scala library for functional programming.