Pinned Repositories
aoc2021rust
Consolas-with-Yahei
向consolas字体中添加微软雅黑的字体，sublime-text中粗体、斜体显示正常，并且不会和系统内置的Consolas冲突。增加了powerline 字符。
crvdgc.github.io
New personal static blog.
FP101x-Content-2015
FP101x - Functional Programming MOOC 2015 Content Repository
functional_programming_in_lean_examples
Examples and excersises for https://leanprover.github.io/functional_programming_in_lean/ (Lean 4)
h-g-wells_the-world-set-free
hoice-haskell
introduction-to-github-actions
Slides of a short introduction to GitHub Actions.
latex-beamer-flake
Write slides with Markdown (with Japanese support)!
crvdgc's Repositories
crvdgc/Consolas-with-Yahei
向consolas字体中添加微软雅黑的字体，sublime-text中粗体、斜体显示正常，并且不会和系统内置的Consolas冲突。增加了powerline 字符。
crvdgc/latex-beamer-flake
Write slides with Markdown (with Japanese support)!
crvdgc/FP101x-Content-2015
FP101x - Functional Programming MOOC 2015 Content Repository
crvdgc/aoc2022rust
https://adventofcode.com/2022 in rust
crvdgc/crvdgc.github.io
New personal static blog.
crvdgc/functional_programming_in_lean_examples
Examples and excersises for https://leanprover.github.io/functional_programming_in_lean/ (Lean 4)
crvdgc/h-g-wells_the-world-set-free
crvdgc/hoice-haskell
crvdgc/introduction-to-github-actions
Slides of a short introduction to GitHub Actions.
crvdgc/aoc2021rust
crvdgc/archive.crvdgc.github.io
My personal github blog site.
crvdgc/benchmarks
Functional program verification problems, as caml programs and as Horn clauses.
crvdgc/bril
an educational compiler intermediate representation
crvdgc/fp-lean
Functional Programming in Lean
crvdgc/highlightjs-lean
A highlight.js language grammar for the Lean theorem proving language.
crvdgc/hoice
An ICE-based predicate synthesizer for Horn clauses.
crvdgc/hoice-pcsp
crvdgc/home-manager
crvdgc/imp-interpreter
crvdgc/kindle_eo_eng
Esperanto to English dictionary for Kindle
crvdgc/lean4
Lean 4 programming language and theorem prover
crvdgc/lia-benchmark
crvdgc/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
crvdgc/nix-darwin-config
crvdgc/openScale
Open-source weight and body metrics tracker, with support for Bluetooth scales
crvdgc/plfa.github.io
An introduction to programming language theory in Agda
crvdgc/tapl
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
crvdgc/theorem_proving_in_lean4
Theorem Proving in Lean 4
crvdgc/tree-sitter
An incremental parsing system for programming tools
crvdgc/william-morris_news-from-nowhere