All Git Users → jameshaydon

3 open source projects by jameshaydon

[ Open user page on Github ]

A categorical programming language with effects

✭ 142

haskell compiler interpreter effects category-theory

2. Idris Elixir

A code-generator for Idris that targets Elixir

✭ 56

haskell elixir compiler code-generation actor-model

3. idris-graphql

Idris GraphQL

✭ 16

Idris javascript graphql

1-3 of 3 user projects