Pinned Repositories
epigram1
A version of Epigram 1 that can run with newer GHCs
idris-quickcheck
A port of QuickCheck to Idris
idris-type-providers
Type provider library for Idris
IdrisAtGalois2015
Slides and exercises for the Idris course taught at Galois
pie-hs
An implementation of Pie in Haskell
todo-list
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
klister
an implementation of stuck macros
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
david-christiansen's Repositories
david-christiansen/final-pretty-printer
A monadic (and pretty) pretty printer for Haskell
david-christiansen/todo-list
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
david-christiansen/dan-scheme
A very little language
david-christiansen/dr-racket-like-unicode
A clone of DrRacket-style Unicode symbol input for Emacs
david-christiansen/bob24
david-christiansen/aesop
White-box automation for Lean 4
david-christiansen/cabal
Official upstream development repository for Cabal and cabal-install
david-christiansen/commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
david-christiansen/doc-gen4
Document Generator for Lean 4
david-christiansen/failing-example-envext
Failing to create a Lean environment extension
david-christiansen/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
david-christiansen/guarded-lean
Guarded recursive types in Lean
david-christiansen/hackage-root-keys
david-christiansen/hackage-security
Hackage security framework based on TUF (The Update Framework)
david-christiansen/haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
david-christiansen/haskell-ci-group
Public notes and artifacts from the Haskell CI Group meetings
david-christiansen/haskell-nightly
minimal example of running nightly builds
david-christiansen/import-graph
Tool to analyse the import structure of lean projects.
david-christiansen/lean4
Lean 4 programming language and theorem prover
david-christiansen/lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
david-christiansen/leanprover.github.io
www
david-christiansen/mathlib4
The math library of Lean 4
david-christiansen/mdbook-indexing
david-christiansen/pantry
david-christiansen/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
david-christiansen/repl
A simple REPL for Lean 4, returning information about errors and sorries.
david-christiansen/security-advisories
david-christiansen/std4
Standard Library for Lean 4
david-christiansen/tech-proposals
The Haskell Foundation Tech Proposal Process
david-christiansen/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant