Miëtek Bak

sf. Mirror of Software Foundations in PDF

304

total-fp. Total functional programming (ESFP) literature

188

halcyon. System for installing Haskell apps

169

haskell-on-heroku. Buildpack for deploying Haskell apps

130

charity-lang. Charity language interpreters and literature

127

bashmenot. Library of GNU bash functions

90

totally-fp. Totally functional programming literature

61

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

59

idris-bash. GNU bash backend for Idris

52

research. Work in progress

41

instant-ipython. IPython Notebook packaged for Heroku

26

et-lang. ET (IPL) language interpreters and literature

26

mit-cadr-system-software. Mirror of MIT CADR Lisp machine system software

23

formal-logic. TODO

23

imla2017. Agda formalisation of NbE for λ□

18

agda-intro. Mirror of Conor McBride’s 2011 Agda course materials

12

pol. Mirror of Chuck Moore’s Forth book

12

haskell-exchange-2015. TODO

11

theunarchiver. Mirror of The Unarchiver repository

11

ease-tween. TODO

8

haskell-on-heroku-tutorial. Companion app for the Haskell on Heroku tutorial

8

idris-js. Toy JavaScript backend for Idris

7

cook. The λ-calculus in Haskell in four different ways

6

portaudio. Haskell library

5

research-2016-05. Moved to https://research.mietek.io

5

coquand. TODO

5

icfp-contest-2010. ICFP Programming Contest 2010 entry

5

scott-encoding. TODO

5

halcyon-tutorial. Companion app for the Halcyon tutorial

4

cannot. Not a web framework

4

icfp-contest-2017. ICFP Programming Contest 2017 entry

4

haskell-so-example. Exercise in dealing with Haskell shared libraries

4

dump-safari-links. Link saver for Safari

4

revcomp-tr. Study materials on reversible computation

4

zug. Keyboard-driven tiling window manager

3

gitit. Haskell deployment example

3

lambda-pi. TODO

3

metaprog2016. Notes for my talk

3

research-2016-04. Moved to https://research.mietek.io

3

hello-servant. Haskell deployment example

3

trypurescript. Halcyon example app

3

tis-100. My solutions to TIS-100 problems

2

hello-wai. Haskell deployment example

2

nbe-correctness. TODO

2

icfp-contest-2020. ICFP Programming Contest 2020 entry

2

simmons-toninho-2011. Mirror of Simmons-Toninho 2011

2

github-callback. GitHub authorization helper

2

cryptopals. My solutions to Matasano Crypto Challenges

2

icfp-contest-2012. ICFP Programming Contest 2012 entry

2

agda-stdlib. WIP

1

agda-lib. Bug fix fork

1

grothendieck-cern. Alexander Grothendieck's 1972 talk at CERN, on scientific research

1

elm-interop-example. Exercise in interoperation between Elm and JavaScript

1

gml-explorer. TODO

1

agda-base. Bug fix fork

1

rfun-interp. Interpreter for the reversible functional language rFun

1