Dan Rosén

hipspec. A hip inductive theorem prover!

kakoune-easymotion. kakoune plugin for navigating like the easymotion vim mode

doctest-ts. doctests for typescript

proptest. Property-based testing a'la QuickCheck for TypeScript and JavaScript

libkak. Configure and control Kakoune from python | Hosts a Kakoune Language Server Protocol implementation too for now

reactive-lens. A lightweight library for pure, reactive and composable state.

kakoune-ghci-bridge. Get intellisense for Haskell in Kakoune via ghci

kakoune-web-ui. Run the kakoune text editor in your browser!

contracts. Haskell Contracts Checker

pykak. script Kakoune with python

neptyne. editor-agnostic jupyter kernel communication (+ kakoune integration)

kakoune-languageclient. WIP: Language server protocol client for the Kakoune text editor

hbmc. Haskell Bounded Model Checker

EffectScript. Haskell

koka-slides. Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"

halo. ha.skell -> lo.gic

geniplate. Use TH to generate uniplate-like functions.

awe. Agda Web(Browser) Editor

hip. Haskell Inductive Prover - uses automated theorem provers to automatically verify equational properties of Haskell programs

jbokorp. korpora zei sisku

genifunctors. Generate generalized fmap, foldMap and traverse

kakconf. My kak configuration

agder. Online judge for Agda problems

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

kakoune-remote-control. kak remote control (krc), reimplementation of alexherbo2's connect.kak

UniversalAlgebra. Make algebraic stuctures in Agda and get derived properties.

sixserver. Adventures in making a language server from Haskell

reactive-lens-haskell. Haskell

srcloc. Annotates Haskell DSLs with sorce locations and names of lambda binders

contracts-docs. Technical report and articles about the contracts checker hcc/HALO

halt. Haskell To Logic Translator

list-comp-ts. List comprehensions in TypeScript

logic-solver. JavaScript

python_pattern_matching. "Pure" python implementation of pattern matching

react-fast-refresh-experiment. Experiment with esbuild and react fast refresh

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

folly. DSL for writing TPTP theories

tip. Tools for Inductive Provers

tfp1. Typed Functional Programming with Rank 1 Types

snabbis. An opinionated library for reactive-lens and snabbdom

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

kakoune-def-decorator. Python

react-redux-hot-module-reloading-webpack-typescript-boiler. React redux hot module reloading webpack typescript boilerplate

viable. A viable alternative to frontend programming.

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.