Carl Patenaude-Poulin

@carlpaten

Fascinated by programming languages and formal methods. Python, Rust, TypeScript, Coq.

Montreal, QC

Followers

Following

Public Repos

Private Repos

Language Breakdown

Lines of code distribution across 17 owned repositories

3.4M Total LOC

HTML

2,165,229 lines

62.9%

N/A

Coq

703,108 lines

20.4%

N/A

C++

309,254 lines

9.0%

N/A

OCaml

115,884 lines

3.4%

N/A

Makefile

30,948 lines

0.9%

N/A

Other

117,855 lines

3.4%

N/A

I-Shaped Developer

I-shaped

Specialist — deep expertise in HTML

HTML

Coq

C++

OCaml

Makefile

Collaboration Network

Global Impact visualization

LIVE

0 active collaborators

Repos

PRs

Growth

+18%

Top Collaborators

No collaborator data yet.

Coding Streak

Contribution activity over the past year

1 day

436

Contributions

Commits

Pull Requests

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun

Based on GitHub activity

Less

Followers 21

AtlasIntOrg

@AtlasIntOrg

Jan Waś

@nineinchnick

João Victor

@JVictorV

Jeremy Banks

@jeremyBanks

Max

@xbIm

View All

Following

8 total

Marc Beaupre

@hrdwdmrbl

David House

@davidhousedev

Colin McDonnell

@colinhacks

Cody Lee White

@CodyLeeWhite

Thomas Patenaude Poulin

@thomaspaten

View All Network

Synced via GitHub

Top Repositories

xk6-sql

k6 extension to load test RDBMSs (PostgreSQL, MySQL, MS SQL, SQLite3 and Trino)

2 0

JavaScript

grafana

The tool for beautiful monitoring and metric analytics & dashboards for Graphite, InfluxDB & Prometheus & More

1 0

TypeScript

tsgolint

Type aware linting for oxlint

0 0

foundations-computational-linguistics.github.io

Webbook for Foundations of Computational Linguistics

pulumi-import-google-cloud-account-scraper

Proof of concept using the Google Cloud SDK to generate JSON for Pulumi import

0 0

Python

cp_sat

Google CP-SAT solver Rust bindings

0 0

Rust

vscode-arduino

Visual Studio Code extension for Arduino

0 0

TypeScript

HVM

A massively parallel, optimal functional runtime in Rust

Open Source Impact

Contributions to external projects

40 merged PRs

No external contributions found.