Skip to content
View giuliocaflisch's full-sized avatar
🦄
did not log out of github
🦄
did not log out of github
2 followers · 15 following

Achievements

Achievement: Pair Extraordinaire

Achievements

Achievement: Pair Extraordinaire

Block or report giuliocaflisch

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

ochameleon / compiler

Compiler for the language

OCaml 1 Updated Feb 14, 2025

ochameleon / extension-vscode

Repository containing the Extension for the VSCode IDE (syntax highlight, special characters and interactive infoviewer)

TypeScript 1 Updated Mar 6, 2025

giuliocaflisch / mahler

Code in Lean 4 for my Bachelor Thesis.

Lean 1 1 Updated Jan 5, 2025

giuliocaflisch / giuliocaflisch.github.io

HTML 1 Updated Feb 7, 2025
Showing results