The Wayback Machine - https://web.archive.org/web/20201125171934/https://github.com/jonsterling
Skip to content
Avatar
😎
😎
  • Block or report user

    Block or report jonsterling

    Report abuse

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

    Report abuse
461 followers · 213 following · 840

Highlights

  • Arctic Code Vault Contributor
  • Pro

Sponsors

@ak3n @marsam

Pinned

  1. RedPRL/cooltt

    😎TT

    OCaml 78 7

  2. RedPRL/redtt

    "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

    OCaml 167 11

  3. dreamtt

    A pedagogic implementation of abstract bidirectional elaboration for dependent type theory. If this helps you, please consider sponsoring!

    OCaml 39 1

  4. latex-dieudonne

    A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.

    TeX 6

  5. latex3-jmsdelim

    TeX 1

969 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

November 2020

Created 27 commits in 2 repositories

Created an issue in plk/biber that received 3 comments

No output in tool mode

I am very suddenly having a bizarre problem, but I don't know what is causing it, I hope you can help me. If I run a command like biber --tool --ou…

3 comments
Opened 1 other issue in 1 repository
jonsterling/latex3-jmsdelim
1 open
You can’t perform that action at this time.