CD2H gitForager

Mi�tek Bak

Login: mietek

Company: @leastfixed

Location: Cambridge, UK

Bio: A programmer. Now also proving theorems!

Blog: https://mietek.io

Member of

Repositories

abel-chapman-extended: Extension of Abel-Chapman 2014 with products and coproducts
agda: Bug fix fork
agda-base: Bug fix fork
agda-introduction: Mirror of Conor McBride?s Agda course materials (January 2011)
agda-lib: Bug fix fork
agda-nplib: Bug fix fork
agda-parametricity: Bug fix fork
agdarsec: Total Parser Combinators in Agda
air: Bug fix fork
air-th: Bug fix fork
alt-artemov: WIP
arithmoi: Bug fix fork
auth-helper: TODO
bashmenot: Library of GNU bash functions
bashmenot-website: Website for bashmenot
Big-step-Normalisation: Bug fix fork
Brainfuck: Bug fix fork
cabal: Feature fork
cabal-issue-mcmxix: Bug test case
cannot: Not a web framework
cannot-website: Website for cannot
categories: Bug fix fork
catools: Tools for interfacing with Cater Allen
ccoq-explicit-sn: Bug fix fork
charity-language: Charity language interpreters and literature
cless: Bug fix fork
clientsession: Bug fix fork
codequality: Bug fix fork
commercialhaskell: Bug fix fork
constructive-provability-logic: Mirror of Rob Simmons? CPL system
cook: The ?-calculus in Haskell in four different ways
coquand: TODO
coquand-kovacs: TODO
cryptopals-solutions: Work in progress
digitalocean-callback: DigitalOcean authorization helper
dotfiles: My dotfiles
dump-safari-links: Link saver for Safari
ease-scroll: Smooth scrolling in the browser
ease-tween: CSS-style easing and tweening in JavaScript
Einstein: TODO
elm-interop-example: Example Elm program
elm-webpack-loader: Bug fix fork
embed-r: Example C/R and Haskell/R programs
epigram2: Mirror of Epigram 2, by Conor McBride, et al.
et-language: ET (IPL) language interpreters and literature
experiment-floyd-warshall: TODO
experiment-gh-pages-md: TODO
Expresso: A simple expressions language with polymorphic extensible row types
foobar: Bug test case
formal-logic: Formalisation of some logical systems
formalmetatheory-nominal: Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
ghci-fail-one: Bug test case
github-callback: GitHub authorization helper
github-services: Bug fix fork
gitit: Halcyon example app
gml-explorer: TODO
gulp-diff: Feature fork
hack2: Bug fix fork
hack2-contrib: Bug fix fork
hack2-handler-snap-server: Bug fix fork
halcyon: System for installing Haskell apps
halcyon-cloud-config: JavaScript generator of cloud-config files
halcyon-recursive-example: Example Haskell program
halcyon-tutorial: Companion app for the Halcyon tutorial
halcyon-website: Website for Halcyon
haskell-exchange-2015: Materials for my Haskell eXchange 2015 talk
haskell-on-heroku: Buildpack for deploying Haskell apps
haskell-on-heroku-tutorial: Companion app for the Haskell on Heroku tutorial
haskell-on-heroku-website: Website for Haskell on Heroku
haskell-so-example: Example C/Haskell program
haste-compiler: Stable fork used by Try Haste
haste-perch: Bug fix fork
haste-playground: Bug fix fork
hello: Simple Haskell app
hello-apiary: Halcyon shootout app
hello-happstack: Halcyon shootout app
hello-mflow: Halcyon shootout app
hello-miku: Halcyon shootout app
hello-scotty: Halcyon shootout app
hello-servant: Halcyon shootout app
hello-simple: Halcyon shootout app
hello-snap: Halcyon shootout app
hello-spock: Halcyon shootout app
hello-wai: Halcyon shootout app
hello-wheb: Halcyon shootout app
hello-yesod: Halcyon shootout app
heroku-buildpack-submodule-example: Example Heroku buildpack
heroku-buildpack-submodule-example-submodule: Submodule for my example Heroku buildpack
herokuyesod: Deployment fork
hilbert-gentzen: Agda formalisation of IPC, IS4, ICML, and ILP
hiplambda: Deployment fork
hl: Halcyon example app
homebrew-core: Maintenance fork
howistart: Halcyon example app
hs-byteable: Bug fix fork
hs-cprng-aes: Bug fix fork
hscurses: Bug fix fork
hs-pem: Bug fix fork
hs-securemem: Bug fix fork
hs-socks: Bug fix fork
hsubst: Mirror of Chantal Keller?s development
http-request-wrapper: TODO
icfp-contest-2009: Contest entry for The Church of the Least Fixed Point
icfp-contest-2010: Contest entry for The Church of the Least Fixed Point
icfp-contest-2011: Contest entry for The Church of the Least Fixed Point
icfp-contest-2012: Contest entry for The Church of the Least Fixed Point
icfp-contest-2013: Contest entry for The Church of the Least Fixed Point
icfp-contest-2014: Contest entry for The Church of the Least Fixed Point
icfp-contest-2015: Contest entry for The Church of the Least Fixed Point
icfp-contest-2017: Contest entry for The Church of the Least Fixed Punt
idris: Bug fix fork
idris-bash: GNU bash backend for Idris
idris-js: Toy JavaScript backend for Idris
imla2017: Agda formalisation of NbE for ??
injection: TODO
instant-ihaskell: IHaskell packaged for easy installation
instant-ipython: IPython Notebook packaged for Heroku
ivor-system: Mirror of Edwin Brady?s Ivor system
lambda-pi: TODO
lamport-timestamps: Agda formalisation of Lamport timestamps
lazy-map-viewer: TODO
lazy-pdf-viewer: TODO
lazy-pdf-viewer-example: TODO
lazy-scroller: TODO
least-fixed-website: Website for Least Fixed
legacy-homebrew: Maintenance fork
lob-paper: Bug fix fork
mailchimp-subscribe: MailChimp subscription request handler
map-cutter: TODO
martin-lof: Bug fix fork
meck: Feature fork
metaprog2016: Notes for my talk
mietek-website: My website
mighttpd2: Deployment fork
miku: Bug fix fork
mit-cadr-system-software: MIT CADR Lisp machine system software
mueval: Bug fix fork
names-for-free: Bug fix fork
nbe: Bug fix fork
nbe-correctness: TODO
nnng: Coordinate transformation between OSGB36 and WGS84
node-elm-compiler: Feature fork
nodejs-epipe-error: Bug test case
NomPa: Bug fix fork
pdf-extract: TODO
pdf-toolbox: Feature fork
plclub-apr-2013: Code for a PL Club I gave at PSU on April 19, 2013.
plclub-expless: Bug fix fork
popl2016-papers: Bug fix fork
populate-setup-exe-cache: Empty Cabal package
portaudio: TODO
postgresql-libpq: Bug fix fork
postgrest: Deployment fork
potpourri: Bug fix fork
pouillard-pottier: Mirror of Pouillard-Pottier 2010
programming-a-problem-oriented-language: Mirror of Chuck Moore?s Forth book
pts: Bug fix fork
random-stuff: null
react-wrapper: TODO
reload-browsers: TODO
reload-firefox: TODO
research: null
revcomp-tr: Study materials on reversible computation
rfun-interp: Interpreter for the reversible functional language rFun
SAM: TODO
sandman: Bug fix fork
sandman-on-heroku: TODO
scooby: TODO
scott-encoding: TODO
shoebill: Bug fix fork
simple: Bug fix fork
skein: Bug fix fork
skeleton-app: TODO
snowdrift: Deployment fork
software-foundations: Mirror of ?Software Foundations?, by Benjamin Pierce et al.
stack: Bug fix fork
swftools: TODO
target-history-mixin: TODO
text-icu: Bug fix fork
textmate: TODO
theunarchiver: Mirror of The Unarchiver repository, including all wiki pages
tmp: null
TomaspNet.Website: Bug fix fork
total-functional-programming: Total functional programming (ESFP) literature
totally-functional-programming: Totally functional programming (TFP) literature
tryhaskell: Halcyon example app
tryhaste: Halcyon example app
tryidris: Halcyon example app
trypurescript: Halcyon example app
untitled-wai: TODO
vncterm: Bug fix fork
wreq: Bug fix fork
yarrow-system: Mirror of Jan Zwanenburg?s Yarrow system
ZAgent: Keyboard-driven tiling window manager for OS X

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.