radrow/masters-thesis radrow/masters-thesis

  • Stars
    star
    2
  • Language
    TeX
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
radrow/masters-thesis
github

radrow

Reviews

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

Repository Details

Liquid types for verification of smart contracts --- my master's thesis in computer science

More Repositories

1

aerepl

REPL for Sophia language
Erlang
5
star
2

i3hloc

Flexible scheduler for i3bar
Haskell
4
star
3

radlang

A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
Haskell
3
star
4

pacMAN

Shorted cheatscheet of pacman's manpage and arch wiki. Collection of most useful things in my opinion
2
star
5

tftp-client-coq

TFTP client written and partially proven in Coq and OCaml
Coq
2
star
6

blockchain-toy

Simple blockchain implementation in Haskell
Haskell
2
star
7

FixMe-server

Scala
1
star
8

fizzbuzz-coq

The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
Coq
1
star
9

instant-compiler

Simple calculator compiler for JVM and LLVM created as an assessment for MIMUW course
Haskell
1
star
10

Tiny-Semantics

Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational style
Haskell
1
star