mietek/elm-interop-example mietek/elm-interop-example

  • This repository has been archived on 09/Jul/2019
  • Stars
    star
    1
  • Language
    JavaScript
  • License
    BSD 3-Clause "New...
  • Created almost 9 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mietek/elm-interop-example
github

mietek

Reviews

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

Repository Details

Exercise in interoperation between Elm and JavaScript

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

icfp-contest-2015

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