Skip to content
View ProfFan's full-sized avatar
🎯
Focusing
🎯
Focusing
309 followers · 322 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Galaxy BrainAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Galaxy BrainAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Highlights

Organizations

@SUSTC @KSP-CKAN @CoreRC

Block or report ProfFan

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

Lists (2)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

7 stars written in Scheme
Clear filter

cisco / ChezScheme

Chez Scheme

Scheme 7,279 1,008 Updated Apr 3, 2026

MoganLab / mogan

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

Scheme 548 92 Updated Apr 10, 2026

racket / ChezScheme

Forked from cisco/ChezScheme

Chez Scheme

Scheme 110 8 Updated Oct 17, 2023

mentat-collective / fdg-book

Executable version of Functional Differential Geometry.

Scheme 37 2 Updated May 4, 2022

texmacs / markdown

A markdown converter plugin for TeXmacs

Scheme 27 2 Updated Oct 24, 2023

pireddag / plotFun

Plot functions with native TeXmacs graphics

Scheme 3 Updated May 23, 2020

emk / jbob-rs

WIP: A Rust port of the J-Bob proof assistant from https://the-little-prover.github.io/

Scheme 2 Updated Oct 4, 2018