danr Goto Github PK

remarkable-fs

A FUSE filesystem wrapper for the reMarkable tablet

rnn

russell

Word game

setuptools

Official project repository for the Setuptools build system

sixserver

Adventures in making a language server from Haskell

sixten

Functional programming with fewer indirections

skadi-article

smten

Compiler and runtime of the Smten language for functional programming and orchestration of SMT queries

snabbis

An opinionated library for reactive-lens and snabbdom

snabbis-create-app

Empty project using snabbis (an opinionated library for snabbdom and reactive-lens)

snoop

A powerful set of Python debugging tools, based on PySnooper

spiro

SPIRO is a Smart Plate Imaging Robot

srcloc

Annotates Haskell DSLs with sorce locations and names of lambda binders

stm-promise

Simple STM promise-like thingys

structural-induction

SII: Structural Induction Instantiator over any strictly-positive algebraic data type.

testcheck-js

Generative testing for JavaScript

tfp1

Typed Functional Programming with Rank 1 Types

tikz-fiddling

Some templates I made for tikz and pgfplots

tip

Tools for Inductive Provers

tip-benchmarks

tons of inductive problems, the benchmarks

tip-paper

tons of inductive problems CICM article

typescript-quickcheck

QuickCheck for TypeScript

typestyle.github.io

Website for TypeStyle

universalalgebra

Make algebraic stuctures in Agda and get derived properties.

urxvt-perls

Perl extensions for the rxvt-unicode terminal emulator

utils

viable

A viable alternative to frontend programming.

vire

🔁 Reruns your python program when source files changes, with the possibility to preload libraries.

xmldestroyer

Bottom-up transformation of XML into python generators, XML, JSON or text.