Skip to content
View StefanPaulet's full-sized avatar

Block or report StefanPaulet

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

A collection of resources for learning type theory and type theory adjacent fields.

2,375 129 Updated Apr 21, 2025

A MiniJava compiler written in C++, focusing on speed of compilation, simplicity and (somewhat) nice error messages.

C++ 48 8 Updated Feb 15, 2022

Compile Time Regular Expression in C++

C++ 3,690 202 Updated Sep 12, 2025
C++ 306 33 Updated Oct 3, 2020

Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous progra…

C++ 1,728 200 Updated Nov 4, 2025

Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。

HTML 6,600 1,775 Updated May 15, 2024

A Zsh theme

Shell 51,486 2,367 Updated Apr 29, 2025

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

CSS 44,368 5,524 Updated Sep 29, 2025