Skip to content
Avatar
147 followers · 186 following

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report JacquesCarette

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

    Generate all the things (focusing on research software)

    Haskell 106 22

  2. agda/agda-categories Public

    A new Categories library for Agda

    Agda 292 55

  3. finally-tagless Public

    Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

    OCaml 39

  4. pi-dual Public

    Collaborative work on reversible computing

    TeX 22 2

  5. TheoriesAndDataStructures Public

    Showing how some simple mathematical theories naturally give rise to some common data-structures

    Agda 33 2

  6. agda-algebras Public

    Forked from ualib/agda-algebras

    Agda 4

618 contributions in the last year

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

Contribution activity

December 2022

Created 18 commits in 1 repository

Created a pull request in JacquesCarette/Drasil that received 8 comments

Upgrade various things in Build.yaml

let's see if this helps with the timeouts.

+5 −4 • 8 comments
Opened 5 other pull requests in 1 repository
Reviewed 5 pull requests in 2 repositories

Created an issue in JacquesCarette/Drasil that received 2 comments

Github Actions failing on ubuntu-latest

See this build failure for an example. Seems to be related to lualatex and fonts? Might be new, even though this bug seemed to appear in the past (…

2 comments
Started 1 discussion in 1 repository
JacquesCarette/Drasil
4 contributions in private repositories Dec 1 – Dec 5

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