Skip to content
View jroesch's full-sized avatar
394 followers · 66 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

Organizations

@apache @dmlc @uwsampl @octoml

Block or report jroesch

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Stars

4 stars written in TypeScript
Clear filter

cheeriojs / cheerio

The fast, flexible, and elegant library for parsing and manipulating HTML and XML.

TypeScript 29,880 1,676 Updated Nov 6, 2025

usablica / intro.js

Lightweight, user-friendly onboarding tour library

TypeScript 23,694 2,576 Updated Oct 24, 2025

leanprover / vscode-lean

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

TypeScript 116 48 Updated Apr 2, 2025

idris-hackers / atom-language-idris

A Idris Mode for Atom.io

TypeScript 102 23 Updated Jul 23, 2024