Pinned Repositories
doctest-ts
doctests for typescript
hipspec
A hip inductive theorem prover!
kakoune-easymotion
kakoune plugin for navigating like the easymotion vim mode
kakoune-languageclient
WIP: Language server protocol client for the Kakoune text editor
libkak
Configure and control Kakoune from python | Hosts a Kakoune Language Server Protocol implementation too for now
proptest
Property-based testing a'la QuickCheck for TypeScript and JavaScript
reactive-lens
A lightweight library for pure, reactive and composable state.
reactive-lens-create-app
Empty project using reactive-lens and react
swell-editor
Editor for normalising learner texts (error annotation and tagging.)
tools
danr's Repositories
danr/hipspec
A hip inductive theorem prover!
danr/kakoune-easymotion
kakoune plugin for navigating like the easymotion vim mode
danr/doctest-ts
doctests for typescript
danr/proptest
Property-based testing a'la QuickCheck for TypeScript and JavaScript
danr/kakoune-web-ui
Run the kakoune text editor in your browser!
danr/neptyne
editor-agnostic jupyter kernel communication (+ kakoune integration)
danr/pykak
script Kakoune with python
danr/geniplate
Use TH to generate uniplate-like functions.
danr/kakconf
My kak configuration
danr/kakoune-remote-control
kak remote control (krc), reimplementation of alexherbo2's connect.kak
danr/react-fast-refresh-experiment
Experiment with esbuild and react fast refresh
danr/vire
🔁 Reruns your python program when source files changes, with the possibility to preload libraries.
danr/kakoune-def-decorator
danr/viable
A viable alternative to frontend programming.
danr/argo-workflows
Argo Workflows: Get stuff done with Kubernetes.
danr/bimpy
imgui for python
danr/bomake
a make system
danr/content
The content behind MDN Web Docs
danr/fiddle
little riddles and fiddles
danr/jedi
Awesome autocompletion, static analysis and refactoring library for python
danr/justified-variables
Words of the same length with related meanings.
danr/kak-lsp
Kakoune Language Server Protocol Client
danr/kakoune
mawww's experiment for a better code editor
danr/keyboard-mapping
danr/kks
Handy Kakoune companion.
danr/matplotkitty
show matplotlib plots directly in your kitty terminal
danr/neptyne-previous-generation
danr/pgtyped
pgTyped - Typesafe SQL in TypeScript
danr/setuptools
Official project repository for the Setuptools build system
danr/snoop
A powerful set of Python debugging tools, based on PySnooper