golovach-ivan

Pinned Repositories

bnfc
BNF Converter
Language:TeX0 1 00
Computational-Calculi
Any stuff to "Designing Computational Calculi" course
Language:Scala0 1 00
Correct-by-Construction
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
Language:Scala1 1 00
finch-nano
Language:Scala0 2 00
FML-27
0 1 00
golovach-ivan.github.io
Personal blog
Language:HTML0 1 02
RhoLP
RhoLang Lexer/Parser, copiler/interpreter frontend with excellent error messages.
Language:Scala2 3 00

golovach-ivan's Repositories

golovach-ivan/RhoLP
RhoLang Lexer/Parser, copiler/interpreter frontend with excellent error messages.
Language:Scala2 3 00
golovach-ivan/Correct-by-Construction
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
Language:Scala1 1 00
golovach-ivan/bnfc
BNF Converter
Language:TeX0 1 00
golovach-ivan/Computational-Calculi
Any stuff to "Designing Computational Calculi" course
Language:Scala0 1 00
golovach-ivan/finch-nano
Language:Scala0 2 00
golovach-ivan/FML-27
0 1 00
golovach-ivan/golovach-ivan.github.io
Personal blog
Language:HTML0 1 02
golovach-ivan/jvm-concurrency
2 01
golovach-ivan/LearnRholangByExample
Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
Language:JavaScript2 0
golovach-ivan/PiCalc-to-Rholang
Learning materials including slides, exercises, etc for our discussion of the pi calculus.
Language:HTML1 0
golovach-ivan/rchain
Language:Scala1 0
golovach-ivan/rchain-dict
1 1
golovach-ivan/rchain-nano
Principal scheme of RChain Blockchain Ecosystem
1 0
golovach-ivan/scala-combinators-examples
Scala Combinators examples (algebra, category theory, ...)
Language:Scala1 0
golovach-ivan/scalaz
An extension to the core Scala library for functional programming.
Language:Scala2 01
golovach-ivan/scrypto
Cryptographic primitives for Scala
Language:Java2 0