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

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw

Highlights

  • Pro

Organizations

@openid @w3c

Block or report fkj

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

demystifyfp / FsToolkit.ErrorHandling

An opinionated F# Library for error handling

F# 550 67 Updated Jun 10, 2026

concurrentbenchmark / concurrentbenchmark

The Concurrent Calculi Formalisation Benchmark

TeX 1 2 Updated Jan 29, 2025

u-fischer / newpax

TeX 14 3 Updated May 9, 2026

GabrieleCecilia / concurrent-benchmark-solution

A solution to the 2nd challenge of the Concurrent Calculi Formalisation Benchmark in the proof assistant Beluga, by Alberto Momigliano and Gabriele Cecilia

1 Updated Oct 7, 2024

astahfrom / isasnips

Generate LaTeX snippets for Isabelle theories.

Rust 1 1 Updated Feb 5, 2023

cgnieder / chemmacros

comprehensive support for typesetting chemistry documents

TeX 42 8 Updated Jan 31, 2024