Miëtek Bak

icon indicating a website link https://mietek.io icon indicating an email [email protected]

Results 8 repositories owned by Miëtek Bak

bashmenot

90
Stars
18
Forks
Watchers

Library of GNU bash functions

verified publisher icon mietek

charity-lang

114
Stars
7
Forks
Watchers

Charity language interpreters and literature

verified publisher icon mietek

epigram2

45
Stars
6
Forks
Watchers

Mirror of Epigram 2, by Conor McBride, et al.

verified publisher icon mietek

et-lang

26
Stars
2
Forks
Watchers

ET (IPL) language interpreters and literature

verified publisher icon mietek

formal-logic

23
Stars
0
Forks
Watchers

TODO

verified publisher icon mietek

halcyon

168
Stars
20
Forks
Watchers

System for installing Haskell apps

verified publisher icon mietek

haskell-on-heroku

132
Stars
16
Forks
Watchers

Buildpack for deploying Haskell apps

verified publisher icon mietek

hilbert-gentzen

30
Stars
0
Forks
Watchers

Agda formalisation of IPC, IS4, ICML, and ILP

verified publisher icon mietek