Dan Rosén

Results 5 repositories owned by


                                            Dan Rosén

Stars

Forks

Watchers

doctests for typescript

Stars

Forks

Watchers

A hip inductive theorem prover!

Stars

Forks

Watchers

kakoune plugin for navigating like the easymotion vim mode

Stars

Forks

Watchers

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

Stars

Forks

Watchers

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