jameshaydon/idris-graphql

Stars
16
Rank 1,274,542 (Top 26 %)
Language Idris
Created over 6 years ago
Updated over 6 years ago

jameshaydon/idris-graphql

jameshaydon

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

Idris GraphQL

lawvere

A categorical programming language with effects

idris-elixir

A code-generator for Idris that targets Elixir

smproc

A well-typed symmetric-monoidal category of concurrent processes

diff-check

Reminders to check things generated by git diffs

optical-machines

State machines using optics

uk-portion-of-ICAO

Extract ICAO flight plan

anki-prompt

Learn stuff at your terminal

foo

hermits

Hermit crab similation

highercats

cospanProc

Composing coroutines via decorated cospans

explain

jameshaydon.github.io