mietek/hilbert-gentzen mietek/hilbert-gentzen

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language Agda
  • License
    Other
  • Created over 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mietek/hilbert-gentzen
github

mietek

Reviews

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

Repository Details

Agda formalisation of IPC, IS4, ICML, and ILP

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

instant-ipython

IPython Notebook packaged for Heroku
Shell
26
star
11

et-lang

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

formal-logic

TODO
Agda
23
star
13

mit-cadr-system-software

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

imla2017

Agda formalisation of NbE for λ□
Agda
16
star
15

haskell-exchange-2015

TODO
Agda
10
star
16

pol

Mirror of Chuck Moore’s Forth book
10
star
17

agda-intro

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

theunarchiver

Mirror of The Unarchiver repository
C
10
star
19

haskell-on-heroku-tutorial

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

ease-tween

TODO
JavaScript
8
star
21

idris-js

Toy JavaScript backend for Idris
Haskell
7
star
22

cook

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

portaudio

Haskell library
Haskell
5
star
24

coquand

TODO
Agda
5
star
25

scott-encoding

TODO
Idris
5
star
26

abel-chapman-extended

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

cannot

Not a web framework
CSS
5
star
28

icfp-contest-2010

ICFP Programming Contest 2010 entry
Python
5
star
29

icfp-contest-2017

ICFP Programming Contest 2017 entry
Haskell
4
star
30

dump-safari-links

Link saver for Safari
AppleScript
4
star
31

revcomp-tr

Study materials on reversible computation
Shell
4
star
32

halcyon-tutorial

Companion app for the Halcyon tutorial
Haskell
4
star
33

lambda-pi

TODO
Haskell
3
star
34

zug

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

injection

Mach injection demo
C
3
star
36

hello-servant

Haskell deployment example
Haskell
3
star
37

metaprog2016

Notes for my talk
Agda
3
star
38

alt-artemov

WIP
Agda
3
star
39

haskell-so-example

Exercise in dealing with Haskell shared libraries
C
3
star
40

icfp-contest-2020

ICFP Programming Contest 2020 entry
JavaScript
2
star
41

halcyon-website

Website for Halcyon
JavaScript
2
star
42

embed-r

Exercise in interoperation between Haskell and R
C
2
star
43

hello-wai

Haskell deployment example
Haskell
2
star
44

howistart

Halcyon example app
Haskell
2
star
45

nbe-correctness

TODO
Agda
2
star
46

cryptopals

My solutions to Matasano Crypto Challenges
Haskell
2
star
47

icfp-contest-2012

ICFP Programming Contest 2012 entry
C
2
star
48

tis-100

My solutions to TIS-100 problems
2
star
49

hello-yesod

Haskell deployment example
Haskell
2
star
50

github-callback

GitHub authorization helper
Haskell
2
star
51

simmons-toninho-2011

Mirror of Simmons-Toninho 2011
Agda
2
star
52

hello-miku

Haskell deployment example
Haskell
1
star
53

icfp-contest-2009

ICFP Programming Contest 2009 entry
Haskell
1
star
54

source-of-truth

TODO
JavaScript
1
star
55

populate-setup-exe-cache

Support package for Haste
Haskell
1
star
56

halcyon-recursive-example

Haskell deployment example
Shell
1
star
57

yarrow-lang

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

nnng

TODO
JavaScript
1
star
59

mailchimp-subscribe

MailChimp subscription request handler
Haskell
1
star
60

map-cutter

TODO
Haskell
1
star
61

icfp-contest-2008

ICFP Programming Contest 2008 entry
Erlang
1
star
62

hello-happstack

Haskell deployment example
Haskell
1
star
63

catools

Tools for interfacing with Cater Allen
Haskell
1
star
64

icfp-contest-2015

ICFP Programming Contest 2015 entry
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