danr

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-languageclient

WIP: Language server protocol client for the Kakoune text editor

hbmc

Haskell Bounded Model Checker

emna

Simple inductive prover with detailed proof output

list-comp-ts

List comprehensions in TypeScript

logic-solver

python_pattern_matching

"Pure" python implementation of pattern matching

base16-kakoune

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

stm-promise

Simple STM promise-like thingys

anishtro

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

awesome-ava

Awesome AVA resources

background_webworker

connect.kak

Kakoune extension to connect a program to the current client

dotcommon

What do people have in their dotfiles?

ink

🌈 React for interactive command-line apps

js-git

A JavaScript implementation of Git.

kakoune-i3

Commands to create predictable client with i3 window manager

language-server-protocol

Defines a common protocol for language servers.

list

An extremely fast immutable list with a comprehensive functional API.

Model01-Firmware

The "standard" Keyboardio Model 01 Firmware sketch.

optika

Optics library for JavaScript

parcel-hmr-dependency

Bug report of parcel's hmr dependency calculation

remarkable-fs

A FUSE filesystem wrapper for the reMarkable tablet

rnn

spiro

SPIRO is a Smart Plate Imaging Robot

testcheck-js

Generative testing for JavaScript

typestyle.github.io

Website for TypeStyle

utils