edwinb

Pinned Repositories

Blodwen
A prototype successor to Idris
Language:Idris541 80 034
EpiVM
Epic - a Supercombinator Compiler
Language:TeX65 3 710
idris-php
Yes, really...
Language:Haskell172 11 114
Idris2
A purely functional programming language with first class types
Language:Idris58 4 08
Idris2-boot
A dependently typed programming language, a successor to Idris
Language:Idris900 59 18556
idris2-vim
Vim mode for Idris 2
Language:Vim Script78 8 926
Protocols
A DSL for describing and implementing communication protocols
Language:TeX83 15 110
SPLV20
SPLV20 course notes
Language:Idris108 12 034
TypeDD-Samples
Sample code from "Type Driven Development with Idris"
Language:Idris162 9 742
Yaffle
A core language and API for dependently typed languages
Language:Idris90 14 017

edwinb's Repositories

edwinb/Idris2-boot
A dependently typed programming language, a successor to Idris
Language:Idris900 59 18556
edwinb/Blodwen
A prototype successor to Idris
Language:Idris541 80 034
edwinb/idris-php
Yes, really...
Language:Haskell172 11 114
edwinb/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
Language:Idris162 9 742
edwinb/SPLV20
SPLV20 course notes
Language:Idris108 12 034
edwinb/Yaffle
A core language and API for dependently typed languages
Language:Idris90 14 017
edwinb/Protocols
A DSL for describing and implementing communication protocols
Language:TeX83 15 110
edwinb/idris2-vim
Vim mode for Idris 2
Language:Vim Script78 8 926
edwinb/EpiVM
Epic - a Supercombinator Compiler
Language:TeX65 3 710
edwinb/Idris2
A purely functional programming language with first class types
Language:Idris58 4 08
edwinb/SDL-idris
SDL bindings package for idris
Language:Idris46 5 719
edwinb/States
State machines in Idris
Language:Idris37 6 03
edwinb/WS-idr
Yes, it is what you think it is
Language:Idris33 4 05
edwinb/IdrisApp
An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
Language:Idris22 8 1
edwinb/idris-lang.org
Idris web site
Language:CSS17 5 015
edwinb/idris2-clibs
Idris 2 bindings to various C libraries
Language:Idris15 2 0
edwinb/tactics-tutorial
Language:TeX13 4 0
edwinb/SchemeEval
Experimental normalisation via scheme
Language:Idris12 4 0
edwinb/Vars
A small library for tracking mutable state in Idris programs
Language:TeX12 7 01
edwinb/ConcIO
Concurrent IO language with Uniqueness Types
Language:Idris9 6 11
edwinb/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell6 4 0
edwinb/sodium-idris
Idris bindings for libsodium
Language:Idris4 2 12
edwinb/ConcProc
Concurrent process DSL
Language:Idris3 3 02
edwinb/oplss-notes-2017
handouts and notes from the 2017 edition of the summer school
Language:Racket3 2 02
edwinb/Eff-dev
Development version of effects library for Idris
Language:Idris2 2 0
edwinb/Idris2-pkg-outline
Outline of an Idris2 package which uses C glue
Language:Idris2 5 0
edwinb/atom-language-idris
A Idris Mode for Atom.io
Language:CoffeeScript1 3 0
edwinb/Resources
Language:Idris1 3 0
edwinb/RingIdris
Ring solver for Idris
Language:Idris3 0
edwinb/statement-on-lambdaconf.github.io
Language:HTML2 0