YunkaiZhang233

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

lexa

gitignore

A collection of useful .gitignore templates

stlc-ocaml

Simply Typed Lambda Calculus, implemented in Ocaml

type-preserving-cps

Type-preserving CPS translation for simply- and dependently-typed lambda calculi

tina

Tina, a programming language with typed algebraic effects and handlers.

cps

A formalization of continuation-passing style calculi in Coq [WIP]

typst-resume-template

typst-resume-template

SYSU_Notebook

本项目分享了中山大学计算机学院本科和研究生阶段的课程资料、笔记、期末考试卷和其他实用的相关资源。希望对同学们的学习有所帮助❤️，如果喜欢记得给个star🌟

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Docker-Proxy

🔥 🔥 🔥 自建Docker镜像加速服务，基于官方Docker Registry 一键部署Docker、K8s、Quay、Ghcr、Mcr、Nvcr等镜像加速\管理服务。支持免服务器部署到Render\Koyeb

mathlib4

The math library of Lean 4

document-calculus

Accompanying materials for "A Core Calculus for Documents"

hayagriva

Rusty bibliography management.

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Coda

silicon

Create beautiful image of your source code.

magic-in-ten-mins

十分钟魔法练习

lean4

Lean 4 programming language and theorem prover

jsk-lecnotes

A lecture notes template in Typst.

typst-examples-book

Book of educational examples for Typst

awesome-typst

Awesome Typst Links

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

cs-self-learning

计算机自学指南

zk-benchmarks

minimal-light

A simple and elegant Jekyll theme for an academic personal homepage

typst-prooftree

dafny

Dafny is a verification-aware programming language

minipratt

Imperial-Computing-Notes

A selection of textbook-like course notes for the Imperial College Computing modules.