danr

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

kakoune-web-ui

Run the kakoune text editor in your browser!

neptyne

editor-agnostic jupyter kernel communication (+ kakoune integration)

pykak

script Kakoune with python

geniplate

Use TH to generate uniplate-like functions.

kakconf

My kak configuration

kakoune-remote-control

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

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.

kakoune-def-decorator

viable

A viable alternative to frontend programming.

argo-workflows

Argo Workflows: Get stuff done with Kubernetes.

bimpy

imgui for python

bomake

a make system

content

The content behind MDN Web Docs

fiddle

little riddles and fiddles

jedi

Awesome autocompletion, static analysis and refactoring library for python

justified-variables

Words of the same length with related meanings.

kak-lsp

Kakoune Language Server Protocol Client

kakoune

mawww's experiment for a better code editor

keyboard-mapping

kks

Handy Kakoune companion.

matplotkitty

show matplotlib plots directly in your kitty terminal

neptyne-previous-generation

pgtyped

pgTyped - Typesafe SQL in TypeScript

setuptools

Official project repository for the Setuptools build system

snoop

A powerful set of Python debugging tools, based on PySnooper