Skip to content
View jfschaefer's full-sized avatar
11 followers · 1 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@KWARC

Block or report jfschaefer

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 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

Stars

Showing results

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

Prolog 355 44 Updated Mar 18, 2026

ComFreek / mmtpygments

Pygments Lexer for MMT Surface Syntax from the MMT project

Python 1 Updated Dec 26, 2022

KWARC / llamapun

common language and mathematics processing algorithms, in Rust

Rust 30 6 Updated Mar 25, 2024

KWARC / rust-libxml

Rust wrapper for libxml2

Rust 89 49 Updated Dec 1, 2025

KWARC / deprecated-LLaMaPUn

LLaMaPUn is Language and Mathematics Processing and Understanding

HTML 4 Updated Apr 22, 2015