Beast code in Giters

golovach-ivan's repositories

RhoLang Lexer/Parser, copiler/interpreter frontend with excellent error messages.

Language:ScalaGPL-2.02 30

Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)

Language:ScalaApache-2.01 10

BNF Converter

Language:TeX010

Any stuff to "Designing Computational Calculi" course

Language:ScalaApache-2.0010

Language:ScalaApache-2.0020

Apache-2.0010

Personal blog

Language:HTML010

Apache-2.0020

Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.

Language:JavaScript020

Learning materials including slides, exercises, etc for our discussion of the pi calculus.

Language:HTML010

Language:ScalaNOASSERTION010

Apache-2.001 1

Principal scheme of RChain Blockchain Ecosystem

Apache-2.0010

Scala Combinators examples (algebra, category theory, ...)

Language:ScalaApache-2.0010

An extension to the core Scala library for functional programming.

Language:Scala020

Cryptographic primitives for Scala

Language:JavaCC0-1.0020