Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report danr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. A lightweight library for pure, reactive and composable state.

    TypeScript 14

  2. Empty project using reactive-lens and react

    TypeScript 2

  3. WIP: Language server protocol client for the Kakoune text editor

    TypeScript 10

  4. Editor for normalising learner texts (error annotation and tagging.)

    TypeScript 9 3

  5. hipspec Public

    A hip inductive theorem prover!

    Haskell 81 8

715 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2021

Created 1 repository

Created a pull request in kkga/kks that received 1 comment

Change %{val} to %val{..} in documentation

Cheers!

+2 −2 1 comment
Opened 1 other pull request in 1 repository
evanw/esbuild 1 merged
Reviewed 1 pull request in 1 repository
mawww/kakoune 1 pull request

Created an issue in alexmojaki/sorcery that received 3 comments

Consider the walrus operator for assigned_names?

Hi Alex and sorcerers! Should the walrus operator be considered an assigned name for assigned_names? I think so and this is an example with current…

3 comments
Loading

Seeing something unexpected? Take a look at the GitHub profile guide.