mietek/icfp-contest-2015 mietek/icfp-contest-2015

  • This repository has been archived on 15/Feb/2019
  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 9 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mietek/icfp-contest-2015
github

mietek

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

ICFP Programming Contest 2015 entry

More Repositories

1

sf

Mirror of Software Foundations in PDF
HTML
285
star
2

total-fp

Total functional programming (ESFP) literature
187
star
3

halcyon

System for installing Haskell apps
Shell
169
star
4

haskell-on-heroku

Buildpack for deploying Haskell apps
Shell
132
star
5

charity-lang

Charity language interpreters and literature
C
114
star
6

bashmenot

Library of GNU bash functions
Shell
90
star
7

totally-fp

Totally functional programming literature
59
star
8

idris-bash

GNU bash backend for Idris
Haskell
54
star
9

epigram2

Mirror of Epigram 2, by Conor McBride, et al.
Haskell
44
star
10

hilbert-gentzen

Agda formalisation of IPC, IS4, ICML, and ILP
Agda
29
star
11

instant-ipython

IPython Notebook packaged for Heroku
Shell
26
star
12

et-lang

ET (IPL) language interpreters and literature
Standard ML
26
star
13

formal-logic

TODO
Agda
23
star
14

mit-cadr-system-software

Mirror of MIT CADR Lisp machine system software
Common Lisp
20
star
15

imla2017

Agda formalisation of NbE for λ□
Agda
16
star
16

haskell-exchange-2015

TODO
Agda
10
star
17

pol

Mirror of Chuck Moore’s Forth book
10
star
18

agda-intro

Mirror of Conor McBride’s 2011 Agda course materials
Agda
10
star
19

theunarchiver

Mirror of The Unarchiver repository
C
10
star
20

haskell-on-heroku-tutorial

Companion app for the Haskell on Heroku tutorial
Haskell
8
star
21

ease-tween

TODO
JavaScript
8
star
22

idris-js

Toy JavaScript backend for Idris
Haskell
7
star
23

cook

The λ-calculus in Haskell in four different ways
Haskell
6
star
24

portaudio

Haskell library
Haskell
5
star
25

coquand

TODO
Agda
5
star
26

scott-encoding

TODO
Idris
5
star
27

abel-chapman-extended

Extension of Abel-Chapman 2014 with products and coproducts
Agda
5
star
28

cannot

Not a web framework
CSS
5
star
29

icfp-contest-2010

ICFP Programming Contest 2010 entry
Python
5
star
30

icfp-contest-2017

ICFP Programming Contest 2017 entry
Haskell
4
star
31

dump-safari-links

Link saver for Safari
AppleScript
4
star
32

revcomp-tr

Study materials on reversible computation
Shell
4
star
33

halcyon-tutorial

Companion app for the Halcyon tutorial
Haskell
4
star
34

lambda-pi

TODO
Haskell
3
star
35

zug

Keyboard-driven tiling window manager
Objective-C
3
star
36

injection

Mach injection demo
C
3
star
37

hello-servant

Haskell deployment example
Haskell
3
star
38

metaprog2016

Notes for my talk
Agda
3
star
39

alt-artemov

WIP
Agda
3
star
40

haskell-so-example

Exercise in dealing with Haskell shared libraries
C
3
star
41

icfp-contest-2020

ICFP Programming Contest 2020 entry
JavaScript
2
star
42

halcyon-website

Website for Halcyon
JavaScript
2
star
43

embed-r

Exercise in interoperation between Haskell and R
C
2
star
44

hello-wai

Haskell deployment example
Haskell
2
star
45

howistart

Halcyon example app
Haskell
2
star
46

nbe-correctness

TODO
Agda
2
star
47

cryptopals

My solutions to Matasano Crypto Challenges
Haskell
2
star
48

icfp-contest-2012

ICFP Programming Contest 2012 entry
C
2
star
49

tis-100

My solutions to TIS-100 problems
2
star
50

hello-yesod

Haskell deployment example
Haskell
2
star
51

github-callback

GitHub authorization helper
Haskell
2
star
52

simmons-toninho-2011

Mirror of Simmons-Toninho 2011
Agda
2
star
53

hello-miku

Haskell deployment example
Haskell
1
star
54

icfp-contest-2009

ICFP Programming Contest 2009 entry
Haskell
1
star
55

source-of-truth

TODO
JavaScript
1
star
56

populate-setup-exe-cache

Support package for Haste
Haskell
1
star
57

halcyon-recursive-example

Haskell deployment example
Shell
1
star
58

yarrow-lang

Mirror of Jan Zwanenburg’s Yarrow system
HTML
1
star
59

nnng

TODO
JavaScript
1
star
60

mailchimp-subscribe

MailChimp subscription request handler
Haskell
1
star
61

map-cutter

TODO
Haskell
1
star
62

icfp-contest-2008

ICFP Programming Contest 2008 entry
Erlang
1
star
63

hello-happstack

Haskell deployment example
Haskell
1
star
64

catools

Tools for interfacing with Cater Allen
Haskell
1
star
65

elm-interop-example

Exercise in interoperation between Elm and JavaScript
JavaScript
1
star
66

gml-explorer

TODO
Haskell
1
star
67

icfp-contest-2011

ICFP Programming Contest 2011 entry
Haskell
1
star
68

haskell-on-heroku-website

Website for Haskell on Heroku
CSS
1
star
69

digitalocean-callback

DigitalOcean authorization helper
Haskell
1
star
70

scooby

One-off script
Python
1
star
71

ease-scroll

TODO
JavaScript
1
star