Skip to content
Avatar
48 followers · 40 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@recursecenter
Block or Report

Block or report jdevuyst

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

  1. rekenaar Public

    Idris tactics for (commutative) monoids

    Idris 21 1

  2. comprehend Public

    Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.

    Clojure 69

  3. fletching-macros Public

    Clojure macros that complement the clojure.core threading (arrow) macros

    Clojure 32 1

  4. ruminant Public

    Swift persistent vectors à la Clojure

    Swift 37 2

  5. dustpan Public

    Swift mark-and-sweep garbage collector

    Swift 3

  6. dependable-data-structures Public archive

    Experiments in implementing functional data structures in Idris

    Idris 13 2

159 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview

Contribution activity

July 2022

4 contributions in private repositories Jul 2

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