buggymcbugfix

not-not-a-blog

I'm also not not on social media https://twitter.com/buggymcbugfix

buggymcbugfix

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-mode

agda-mode on Atom

array-benchmark

arrayOf-benchmark

cargo

The Rust package manager

clarksmr-sf-lectures

Software Foundations

coq.ctags

Universal Ctags optlib parser for Coq

dune

A composable build system for OCaml.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghc.dev

The https://ghc.dev Website Generator

granule-project.github.io

The Granule Project Website

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Idris2

A purely functional programming language with first class types

kat-purescript

language-agda

Agda language support for the Atom editor

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

neu-cs-4410

ott

Ott is a tool for writing definitions of programming languages and calculi

platform

Multi platform setup for Coq, Coq libraries and tools

plfa.github.io

An introduction to programming language theory in Agda

quickcheck

Automatic testing of Haskell programs.

roc

Roc is a language for making delightful software.

rust-book

The Rust Programming Language

shake

Shake build system

stack

The Haskell Tool Stack

summer-of-haskell

Source code of summer.haskell.org

unordered-containers

Efficient hashing-based container types

unparse-attoparsec

An attoparsec roundtrip