Pinned Repositories
bashmenot
Library of GNU bash functions
charity-lang
Charity language interpreters and literature
et-lang
ET (IPL) language interpreters and literature
halcyon
System for installing Haskell apps
haskell-on-heroku
Buildpack for deploying Haskell apps
idris-bash
GNU bash backend for Idris
research
Work in progress
sf
Mirror of Software Foundations in PDF
total-fp
Total functional programming (ESFP) literature
totally-fp
Totally functional programming literature
mietek's Repositories
mietek/sf
Mirror of Software Foundations in PDF
mietek/charity-lang
Charity language interpreters and literature
mietek/totally-fp
Totally functional programming literature
mietek/epigram2
Mirror of Epigram 2, by Conor McBride, et al.
mietek/research
Work in progress
mietek/et-lang
ET (IPL) language interpreters and literature
mietek/research-2016-05
Moved to https://research.mietek.io
mietek/research-2016-04
Moved to https://research.mietek.io
mietek/zug
Keyboard-driven tiling window manager
mietek/icfp-contest-2020
ICFP Programming Contest 2020 entry
mietek/tis-100
My solutions to TIS-100 problems
mietek/grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
mietek/icfp-contest-2008
ICFP Programming Contest 2008 entry
mietek/mietek.github.io
mietek/1lab
Bug fix fork
mietek/agda
Experimental fork
mietek/commercialhaskell
Bug fix fork
mietek/fettnapf3000
Bug fix fork
mietek/haxo-hw
Haxophone, an electronic musical instrument that resembles a saxophone
mietek/homebrew-core
Maintenance fork
mietek/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
mietek/mame
MAME
mietek/netatalk
Mirror with all tags recovered from SourceForge
mietek/oleg
mietek/openscad
OpenSCAD scripts
mietek/qemu
TODO
mietek/research-2016-06
Moved to https://research.mietek.io
mietek/research-2017-06
Moved to https://research.mietek.io
mietek/theoremprover-museum.github.io
Bug fix fork
mietek/tmk_keyboard
Keyboard firmwares for Atmel AVR and Cortex-M