buggymcbugfix
Code monkey. Lab rat. Motivation: An ounce of cunning beats a tonne of brute force—SPJ
University of Kent Nowhere
Pinned Repositories
advent_of_code_2016
Solutions to the Advent of Code challenge in 2016 (See: http://adventofcode.com/2016)
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode
agda-mode on Atom
array-benchmark
buggymcbugfix
not-not-a-blog
I'm also not not on social media https://twitter.com/buggymcbugfix
buggymcbugfix's Repositories
buggymcbugfix/not-not-a-blog
I'm also not not on social media https://twitter.com/buggymcbugfix
buggymcbugfix/buggymcbugfix
buggymcbugfix/agda
Agda is a dependently typed programming language / interactive theorem prover.
buggymcbugfix/agda-mode
agda-mode on Atom
buggymcbugfix/array-benchmark
buggymcbugfix/arrayOf-benchmark
buggymcbugfix/cargo
The Rust package manager
buggymcbugfix/clarksmr-sf-lectures
Software Foundations
buggymcbugfix/coq.ctags
Universal Ctags optlib parser for Coq
buggymcbugfix/dune
A composable build system for OCaml.
buggymcbugfix/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
buggymcbugfix/ghc.dev
The https://ghc.dev Website Generator
buggymcbugfix/granule-project.github.io
The Granule Project Website
buggymcbugfix/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
buggymcbugfix/Idris2
A purely functional programming language with first class types
buggymcbugfix/kat-purescript
buggymcbugfix/language-agda
Agda language support for the Atom editor
buggymcbugfix/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
buggymcbugfix/neu-cs-4410
buggymcbugfix/ott
Ott is a tool for writing definitions of programming languages and calculi
buggymcbugfix/platform
Multi platform setup for Coq, Coq libraries and tools
buggymcbugfix/plfa.github.io
An introduction to programming language theory in Agda
buggymcbugfix/quickcheck
Automatic testing of Haskell programs.
buggymcbugfix/roc
Roc is a language for making delightful software.
buggymcbugfix/rust-book
The Rust Programming Language
buggymcbugfix/shake
Shake build system
buggymcbugfix/stack
The Haskell Tool Stack
buggymcbugfix/summer-of-haskell
Source code of summer.haskell.org
buggymcbugfix/unordered-containers
Efficient hashing-based container types
buggymcbugfix/unparse-attoparsec
An attoparsec roundtrip