DragonLi's repositories
bibdris
BibTeX database management in Idris
call-haskell-from-anything
Call Haskell functions from any programming language via serialization and dynamic libraries
Comparison-Programming-Languages-Economics
A Comparison of Programming Languages in Economics
eff-tutorial
Idris effects tutorial
elm-debugger
Control time and change history. Laszlo's debugger lets you pause, rewind, and replay programs, swapping in new code to debug.
foetus
Simple termination checker
FPDays.TypeProvider
Tutorial code from FPDays 2014
generator-angular-scotty
Yeoman generator for AngularJS + Scotty
ghc-android
Build scripts for building ghc cross compilers targeting Android
haste-compiler
A Haskell to Javascript compiler.
helm
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
idris-benchmarks
Some benchmarks for Idris
Idris-dev
A Dependently Typed Functional Programming Language
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
Idris-Talk
Talk for Logic and computation seminar (EAFIT University 2014)
idris-webgl
Experimentation with Idris and WebGL via JavaScript FFI
IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
lightyear
Parser combinators for Idris
meta
A tiny metaprogramming library
Protocols
A DSL for describing and implementing communication protocols
SpriteBuilder
Objective-C Game Development Suite
threepenny-gui
GUI library that uses the web browser as a display.
tmr-issue23
Issue 23 of The Monad Reader
trellys
Automatically exported from code.google.com/p/trellys
tryidris
Try Idris
ttlite
A SuperCompiler for Martin-Löf's Type Theory
TypeAsValue
C++ compile time computation library using types as values and templates as functions
typeparams
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
ude
A C# port of Mozilla Universal Charset Detector.