The Wayback Machine - https://web.archive.org/web/20230419050312/https://github.com/jonsterling

jonsterling

Follow

Jon Sterling jonsterling

Follow

computer scientist and semanticist

587 followers · 271 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Highlights

Pro

Organizations

Block or Report

Block or report jonsterling

Report abuse

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

Report abuse

Pinned

forest Public

My mathematical Zettelkasten, created using forester and Hugo.

HTML 25 2
agda-calf Public

A cost-aware logical framework, embedded in Agda.

Agda 40 1

3,456 contributions in the last year

Learn how we count contributions

Contribution activity

April 2023

Created 24 commits in 2 repositories

Created 1 repository

jonsterling/obsidian-influx TypeScript Apr 10

Opened 1 pull request in 1 repository

jensmtg/influx 1 open

Fix heading references Apr 10

Started 1 discussion in 1 repository

community/community

Have to log in with 2FA at least once per day
This contribution was made on Apr 16

202 contributions in private repositories Apr 1 – Apr 18