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

Sponsoring

@mar-v-in
@rallep71
@tmolitor-stud-tu
@fiaxh

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

    RP2040 bare metal

    Assembly

  3. circuits circuits Public

    Tiny circuits DSL

    Agda 1

  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