danr/folly
DSL for writing TPTP theories
Developer Profile
danr
Discovered public repositories for danr in the GitHub catalog.
danr/awe
Agda Web(Browser) Editor
danr/genifunctors
Generate generalized fmap, foldMap and traverse
danr/tfp1
Typed Functional Programming with Rank 1 Types
danr/LL
Linear Logic and Resource-Aware Functional Programming
danr/srcloc
Annotates Haskell DSLs with sorce locations and names of lambda binders
danr/quickspec
Equational laws for free
danr/structural-induction
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
danr/stm-promise
Simple STM promise-like thingys
danr/russell
Word game
danr/korpusimportkedjan
Korpannoteringslabbet (Corpus Annotation Laboratory)
danr/urxvt-perls
Perl extensions for the rxvt-unicode terminal emulator
danr/contracts-docs
Technical report and articles about the contracts checker hcc/HALO
danr/halo
ha.skell -> lo.gic
danr/contracts
Haskell Contracts Checker
danr/hipspec
A hip inductive theorem prover!
danr/halt
Haskell To Logic Translator
danr/Auto
Automatic induction in Agda
danr/agder
Online judge for Agda problems
danr/hip
Haskell Inductive Prover - uses automated theorem provers to automatically verify equational properties of Haskell programs
danr/dot-xmonad
XMonad configuration
danr/MultiplayerSnake
Snake game in Haskell, multiplayer over network
danr/Agda-projects
Various agda projects
danr/Agda-Numerics
Integers and eventually Rationals and eventually² Reals
danr/UniversalAlgebra
Make algebraic stuctures in Agda and get derived properties.