radrow/i3hloc radrow/i3hloc

  • Stars
    star
    4
  • Rank 3,211,827 (Top 65 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
radrow/i3hloc
github

radrow

Reviews

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

Repository Details

Flexible scheduler for i3bar

More Repositories

1

aerepl

REPL for Sophia language
Erlang
5
star
2

radlang

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

masters-thesis

Liquid types for verification of smart contracts --- my master's thesis in computer science
TeX
2
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