david-christiansen/trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
Developer Profile
david-christiansen
Discovered public repositories for david-christiansen in the GitHub catalog.
david-christiansen/helm-pages
A Helm data source for pages in the current buffer
david-christiansen/IdrisAtGalois2015
Slides and exercises for the Idris course taught at Galois
david-christiansen/cryptol
Cryptol: The Language of Cryptography
david-christiansen/live-code-talks
An Emacs package to highlight special comments for in-buffer slide-shows.
david-christiansen/narrowed-page-navigation
An Emacs package for showing a buffer page-by-page, intended for presentations and live coding.
david-christiansen/IHaskell
A Haskell kernel for IPython.
david-christiansen/ghc-imported-from-el
Emacs support for Carlo Hamalainen's ghc-imported-from
david-christiansen/helm-ghc
Helm support for ghc-mod metadata
david-christiansen/barcodes-code128
A Haskell library for generating Code 128 barcodes
david-christiansen/alacarte-idris
Data Types a la Carte in Idris
david-christiansen/testable-propositions
Testable propositions - postulate them if they pass!
david-christiansen/melpa
Scripts for building Emacs packages from Version Control
david-christiansen/helm-idris
A Helm datasource for querying the Idris compiler
david-christiansen/SDL-idris
SDL bindings package for idris
david-christiansen/idris-tf-random
A port of the Haskell tf-random to Idris
david-christiansen/idris-quickcheck
A port of QuickCheck to Idris
david-christiansen/IdrisSqlite
Effectful bindings for SQLite (forked from IdrisWeb)
david-christiansen/IdrisWeb
A secure web framework, built in the Idris language.
david-christiansen/annotated-wl-pprint
A variant of the Wadler-Leijen pretty-printer that allows arbitrary semantic annotations
david-christiansen/idris-utils
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
david-christiansen/lightyear
Parser combinators for Idris
david-christiansen/idris-raytracer
Unfinished raytracer in Idris for use in testing compiler optimizations
david-christiansen/pi-forall
A demo implementation of a simple dependently-typed language for OPLSS 2013
david-christiansen/idris-type-providers
Type provider library for Idris
david-christiansen/idris-mode
Idris syntax highlighting and (eventually) other things for emacs.
david-christiansen/hpaste
Haskell pastebin
david-christiansen/dynamic-haskell-ffi
Experimentation with dynamically loading C libraries from Haskell (learning exercise)
david-christiansen/ReVo-utilities
a few handy scripts to work with XML dumps from ReVo
david-christiansen/itu-thesis
A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
david-christiansen/Kopitiam
eclipse plugin to support side-by-side proofs and code
david-christiansen/tiny-dependent-types
A very simple implementation of a little dependently typed language
david-christiansen/Idris-dev
A Dependently Typed Functional Programming Language
david-christiansen/aml-mode
AML mode for Emacs
david-christiansen/beamerOerestad
Unofficial IT University of Copenhagen beamer style
david-christiansen/scalacheck
A powerful tool for automatic unit testing
david-christiansen/typesearch
Public repository.
david-christiansen/scala-doc-search
A Hoogle clone for Scaladoc