danr Goto Github PK

agda-numerics

Integers and eventually Rationals and eventually² Reals

agda-projects

Various agda projects

agder

Online judge for Agda problems

anishtro

anishtro is a layout for the letters of the English alphabet, made for symmetrical keyboards with at least one main key per thumb.

argo-workflows

Argo Workflows: Get stuff done with Kubernetes.

auto

Automatic induction in Agda

awe

Agda Web(Browser) Editor

awesome-ava

Awesome AVA resources

background_webworker

base16-dannestyle

Set urxvt and bspwm colours dynamically using base16 schemes

base16-kakoune

Base16 (https://github.com/chriskempson/base16) for Kakoune (https://github.com/mawww/kakoune/)

bimpy

imgui for python

bomake

a make system

config

dotfiles

connect.kak

Kakoune extension to connect a program to the current client

content

The content behind MDN Web Docs

contracts

Haskell Contracts Checker

contracts-docs

Technical report and articles about the contracts checker hcc/HALO

dafny-talk

A presentation about first-class functions in Dafny

doctest-ts

doctests for typescript

dot-xmonad

XMonad configuration

dotcommon

What do people have in their dotfiles?

dvtm

dvtm brings the concept of tiling window management, popularized by X11-window managers like dwm to the console. As a console window manager it tries to make it easy to work with multiple console based programs.

effectscript

emna

Simple inductive prover with detailed proof output

fiddle

little riddles and fiddles

folly

DSL for writing TPTP theories

forsp

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

genifunctors

Generate generalized fmap, foldMap and traverse

geniplate

Use TH to generate uniplate-like functions.