close
The Wayback Machine - https://web.archive.org/web/20221218233733/https://github.com/pfeodrippe
Skip to content
Avatar
48 followers · 51 following

Sponsoring

@wilkerlucio
@naomijub

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report pfeodrippe

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. recife Public

    A Clojure model checker

    Clojure 79 3

  2. pitoco Public

    Clojure 35 3

  3. tla-edn Public

    A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN

    Clojure 16 1

  4. arrudeia Public

    Test your concurrent thoughts, don't let it be a nightmare

    Clojure 11

764 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

December 2022

Created an issue in nextjournal/clerk that received 7 comments

Not a File error in nextjournal.clerk.config when using a library that contains Clerk as a git deps

When I add the Clerk git deps (see https://github.com/pfeodrippe/dev-tooling/blob/clerk-test/deps.edn#L5) to a library (https://clojars.org/io.gith…

7 comments
Opened 3 other issues in 1 repository
8 contributions in private repositories Dec 1 – Dec 13

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