Thanks to visit codestin.com
Credit goes to github.com

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

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: 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 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

Showing results

demystifyfp / FsToolkit.ErrorHandling

An opinionated F# Library for error handling

F# 523 65 Updated Sep 26, 2025

concurrentbenchmark / concurrentbenchmark

The Concurrent Calculi Formalisation Benchmark

TeX 1 2 Updated Jan 29, 2025

u-fischer / newpax

TeX 13 3 Updated Sep 24, 2025

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 41 7 Updated Jan 31, 2024