Matúš Tejiščák

icon indicating a website link https://ziman.functor.sk

Results 10 repositories owned by Matúš Tejiščák

idris-py

124
Stars
12
Forks
Watchers

Python backend for Idris (generates Python source, not bytecode).

verified publisher icon ziman

bibdris

18
Stars
2
Forks
Watchers

BibTeX database management in Idris

verified publisher icon ziman

idris-data-frame

20
Stars
0
Forks
Watchers

Data frames for Idris 2

verified publisher icon ziman

idris-ocaml

22
Stars
3
Forks
Watchers

OCaml back end for Idris

verified publisher icon ziman

itt

15
Stars
0
Forks
Watchers

Tiny dependent calculus with inference of irrelevance and erasure

verified publisher icon ziman

itt-idris

23
Stars
0
Forks
Watchers

ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2

verified publisher icon ziman

lightyear

238
Stars
43
Forks
Watchers

Parser combinators for Idris

verified publisher icon ziman

pmtu

36
Stars
9
Forks
Watchers

Path MTU discovery tool

verified publisher icon ziman

rarcrack

101
Stars
42
Forks
Watchers

[unofficial fork] RAR bruteforce cracker

verified publisher icon ziman

ttstar

18
Stars
0
Forks
Watchers

Dependently typed core calculus with erasure

verified publisher icon ziman