Discover mietek/portaudio Open Source project by Miëtek Bak (@mietek)

Buildpack for deploying Haskell apps

169

haskell-on-heroku

Charity language interpreters and literature

132

charity-lang

114

bashmenot

Library of GNU bash functions

Totally functional programming literature

totally-fp

idris-bash

GNU bash backend for Idris

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

epigram2

Agda formalisation of IPC, IS4, ICML, and ILP

hilbert-gentzen

IPython Notebook packaged for Heroku

instant-ipython

ET (IPL) language interpreters and literature

et-lang

Standard ML

formal-logic

Mirror of MIT CADR Lisp machine system software

mit-cadr-system-software

Common Lisp

imla2017

Agda formalisation of NbE for λ□

haskell-exchange-2015

Mirror of Chuck Moore’s Forth book

pol

agda-intro

Mirror of Conor McBride’s 2011 Agda course materials

Mirror of The Unarchiver repository

theunarchiver

haskell-on-heroku-tutorial

Companion app for the Haskell on Heroku tutorial

ease-tween

Toy JavaScript backend for Idris

idris-js

The λ-calculus in Haskell in four different ways

cook

coquand

scott-encoding

abel-chapman-extended

Extension of Abel-Chapman 2014 with products and coproducts

ICFP Programming Contest 2010 entry

cannot

Not a web framework

CSS

icfp-contest-2010

Python

icfp-contest-2017

ICFP Programming Contest 2017 entry

Study materials on reversible computation

dump-safari-links

Link saver for Safari

AppleScript

revcomp-tr

Companion app for the Halcyon tutorial

halcyon-tutorial

lambda-pi

Keyboard-driven tiling window manager

zug

Objective-C

injection

Mach injection demo

hello-servant

Exercise in dealing with Haskell shared libraries

metaprog2016

alt-artemov

haskell-so-example

icfp-contest-2020

ICFP Programming Contest 2020 entry

halcyon-website

Website for Halcyon

Exercise in interoperation between Haskell and R

embed-r

hello-wai

My solutions to Matasano Crypto Challenges

howistart

nbe-correctness

cryptopals

ICFP Programming Contest 2012 entry

icfp-contest-2012

tis-100

My solutions to TIS-100 problems

hello-yesod

GitHub authorization helper

github-callback

Mirror of Simmons-Toninho 2011

simmons-toninho-2011

hello-miku

ICFP Programming Contest 2009 entry

icfp-contest-2009

source-of-truth

Support package for Haste

populate-setup-exe-cache

halcyon-recursive-example

Mirror of Jan Zwanenburg’s Yarrow system

yarrow-lang

HTML

nnng

MailChimp subscription request handler

mailchimp-subscribe

map-cutter

ICFP Programming Contest 2008 entry

icfp-contest-2008

Erlang

hello-happstack

Tools for interfacing with Cater Allen

catools

ICFP Programming Contest 2015 entry

icfp-contest-2015

Exercise in interoperation between Elm and JavaScript

elm-interop-example

gml-explorer

ICFP Programming Contest 2011 entry

icfp-contest-2011