Projects in Awesome Lists by danr
A curated list of projects in awesome lists by danr .
https://github.com/danr/kakoune-easymotion
kakoune plugin for navigating like the easymotion vim mode
Last synced: 04 Jan 2026
https://github.com/danr/doctest-ts
doctests for typescript
api doctest doctests documentation generator tdd testing typescript
Last synced: 15 Jul 2025
https://github.com/danr/proptest
Property-based testing a'la QuickCheck for TypeScript and JavaScript
Last synced: 04 Sep 2025
https://github.com/danr/libkak
Configure and control Kakoune from python | Hosts a Kakoune Language Server Protocol implementation too for now
kakoune language-server-protocol
Last synced: 15 Jul 2025
https://github.com/danr/reactive-lens
A lightweight library for pure, reactive and composable state.
Last synced: 15 Jul 2025
https://github.com/danr/kakoune-ghci-bridge
Get intellisense for Haskell in Kakoune via ghci
ghci haskell ide intellisense kakoune plugin
Last synced: 25 Jun 2025
https://github.com/danr/kakoune-languageclient
WIP: Language server protocol client for the Kakoune text editor
Last synced: 27 Jul 2025
https://github.com/danr/kakoune-web-ui
Run the kakoune text editor in your browser!
Last synced: 15 Jul 2025
https://github.com/danr/neptyne
editor-agnostic jupyter kernel communication (+ kakoune integration)
Last synced: 15 Jul 2025
https://github.com/danr/koka-slides
Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
algebraic-effects effects koka
Last synced: 22 Apr 2025
https://github.com/danr/genifunctors
Generate generalized fmap, foldMap and traverse
Last synced: 15 Jul 2025
https://github.com/danr/kakoune-remote-control
kak remote control (krc), reimplementation of alexherbo2's connect.kak
Last synced: 22 Apr 2025
https://github.com/danr/structural-induction
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
Last synced: 15 Jul 2025
https://github.com/danr/universalalgebra
Make algebraic stuctures in Agda and get derived properties.
Last synced: 28 Jan 2026
https://github.com/danr/sixserver
Adventures in making a language server from Haskell
Last synced: 17 Mar 2025
https://github.com/danr/contracts-docs
Technical report and articles about the contracts checker hcc/HALO
Last synced: 22 Jul 2025
https://github.com/danr/srcloc
Annotates Haskell DSLs with sorce locations and names of lambda binders
Last synced: 17 Mar 2025
https://github.com/danr/multiplayersnake
Snake game in Haskell, multiplayer over network
Last synced: 01 Aug 2025
https://github.com/danr/tfp1
Typed Functional Programming with Rank 1 Types
Last synced: 17 Mar 2025
https://github.com/danr/vire
🔁 Reruns your python program when source files changes, with the possibility to preload libraries.
entr file-changes inotify reloader
Last synced: 17 Mar 2025
https://github.com/danr/react-fast-refresh-experiment
Experiment with esbuild and react fast refresh
Last synced: 17 Mar 2025
https://github.com/danr/python_pattern_matching
"Pure" python implementation of pattern matching
Last synced: 17 Mar 2025
https://github.com/danr/reactive-lens-create-app
Empty project using reactive-lens and react
Last synced: 02 Jul 2025
https://github.com/danr/emna
Simple inductive prover with detailed proof output
Last synced: 05 Mar 2026
https://github.com/danr/agda-numerics
Integers and eventually Rationals and eventually² Reals
Last synced: 02 Jan 2026
https://github.com/danr/react-redux-hot-module-reloading-webpack-typescript-boiler
React redux hot module reloading webpack typescript boilerplate
Last synced: 17 Mar 2025
https://github.com/danr/snabbis-create-app
Empty project using snabbis (an opinionated library for snabbdom and reactive-lens)
Last synced: 17 Mar 2025
https://github.com/danr/tikz-fiddling
Some templates I made for tikz and pgfplots
Last synced: 04 Jan 2026
https://github.com/danr/snabbis
An opinionated library for reactive-lens and snabbdom
Last synced: 17 Mar 2025
https://github.com/danr/dafny-talk
A presentation about first-class functions in Dafny
Last synced: 17 Mar 2025
https://github.com/danr/viable
A viable alternative to frontend programming.
hot-module-reloading python-frontend
Last synced: 27 Jul 2025
https://github.com/danr/korpusimportkedjan
Korpannoteringslabbet (Corpus Annotation Laboratory)
Last synced: 13 Aug 2025
https://github.com/danr/mustache-example
Simple example of rendering a webpage with python using mustache
Last synced: 03 Feb 2026
https://github.com/danr/base16-dannestyle
Set urxvt and bspwm colours dynamically using base16 schemes
base16 bspwm rxvt-unicode urxvt
Last synced: 04 Jul 2025
https://github.com/danr/tip-benchmarks
tons of inductive problems, the benchmarks
Last synced: 02 Jan 2026
https://github.com/danr/vibecoded-region-queens-sat
Vibecoded continuation of the blog post "Solving LinkedIn Queens with SMT"
Last synced: 17 Jun 2025
https://github.com/danr/xmldestroyer
Bottom-up transformation of XML into python generators, XML, JSON or text.
Last synced: 30 Jun 2026
https://github.com/danr/parcel-hmr-dependency
Bug report of parcel's hmr dependency calculation
Last synced: 17 Mar 2025