crvdgc

latex-beamer-flake

Write slides with Markdown (with Japanese support)!

FP101x-Content-2015

FP101x - Functional Programming MOOC 2015 Content Repository

aoc2022rust

https://adventofcode.com/2022 in rust

crvdgc.github.io

New personal static blog.

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.

tapl

An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.

aoc2021rust

archive.crvdgc.github.io

My personal github blog site.

aoc2024lean

bril

an educational compiler intermediate representation

fp-lean

Functional Programming in Lean

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

highlightjs-lean

A highlight.js language grammar for the Lean theorem proving language.

hoice-pcsp

home-manager

imp-interpreter

kindle_eo_eng

Esperanto to English dictionary for Kindle

lean4

Lean 4 programming language and theorem prover

lia-benchmark

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

nix-darwin-config

openScale

Open-source weight and body metrics tracker, with support for Bluetooth scales

plfa.github.io

An introduction to programming language theory in Agda

theorem_proving_in_lean4

Theorem Proving in Lean 4

tree-sitter

An incremental parsing system for programming tools

tree-sitter-asl

william-morris_news-from-nowhere