jameshaydon/idris-elixir jameshaydon/idris-elixir

  • Stars
    star
    63
  • Rank 470,822 (Top 10 %)
  • Language
    Haskell
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jameshaydon/idris-elixir
github

jameshaydon

Reviews

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

Repository Details

A code-generator for Idris that targets Elixir

More Repositories

1

lawvere

A categorical programming language with effects
Haskell
263
star
2

smproc

A well-typed symmetric-monoidal category of concurrent processes
Idris
23
star
3

idris-graphql

Idris GraphQL
Idris
16
star
4

diff-check

Reminders to check things generated by git diffs
Haskell
7
star
5

optical-machines

State machines using optics
Haskell
6
star
6

uk-portion-of-ICAO

Extract ICAO flight plan
Haskell
4
star
7

anki-prompt

Learn stuff at your terminal
Haskell
3
star
8

foo

foo
2
star
9

hermits

Hermit crab similation
Haskell
2
star
10

highercats

2
star
11

cospanProc

Composing coroutines via decorated cospans
Idris
1
star
12

explain

Haskell
1
star
13

jameshaydon.github.io

My website
HTML
1
star