radrow/tftp-client-coq radrow/tftp-client-coq

  • Stars
    star
    2
  • Language Coq
  • License
    MIT License
  • Created over 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
radrow/tftp-client-coq
github

radrow

Reviews

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

Repository Details

TFTP client written and partially proven in Coq and OCaml

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

masters-thesis

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

pacMAN

Shorted cheatscheet of pacman's manpage and arch wiki. Collection of most useful things in my opinion
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