Skip to content
View jacquescomeaux's full-sized avatar
9 followers · 0 following

Achievements

Achievement: Pull SharkAchievement: Public Sponsor

Achievements

Achievement: Pull SharkAchievement: Public Sponsor

Block or report jacquescomeaux

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. common common Public

    concerning commutative monoids, constructively

    Agda

  2. double double Public

    Exploring various ways to formalize categories

    Agda

  3. pico pico Public

    RP2040 bare metal

    Assembly

  4. pdp11-lisp pdp11-lisp Public

    Bootstrapping a programming language

    Assembly 1

  5. sicp-solutions sicp-solutions Public

    Racket 1

  6. blog_of_sexp blog_of_sexp Public

    My very own static site generator

    OCaml 1