kokic / kodama
A Typst-friendly static Zettelkasten site generator.
โ48Updated last week
Alternatives and similar repositories for kodama:
Users that are interested in kodama are comparing it to the libraries listed below
- Typst blog template based on Zola, typst.ts, and apollo.โ30Updated 7 months ago
- โ22Updated last year
- ๐ง A Elbereth Gilthoniel / silivren penna mรญriel! ๐โ20Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzhโ27Updated last month
- ShiTT is a toy proof assistant. (This project will be rewritten soon)โ33Updated 4 months ago
- Elaboration with inductive typesโ16Updated last year
- ๐ฆ Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/โ22Updated last month
- A transpiler that converts TeX into Unicode (as possible).โ19Updated 2 weeks ago
- Distributions of Agda executable compiled into WebAssembly.โ16Updated 3 weeks ago
- Learn Lean 4 with PLFA proofs.โ58Updated 10 months ago
- Typst Package to typeset inference ruleโ35Updated last month
- RUst way for Reuse Analysisโ12Updated 11 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruningโ23Updated 2 years ago
- ๅๅ้้ญๆณ็ปไน in OCamlโ33Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and moreโ26Updated 2 years ago
- Neon lights in the night tonight and stars that shine in the open skyโ43Updated last year
- Some experimental Typst files.โ14Updated 2 years ago
- A modern functional programming language with effect system.โ19Updated 11 months ago
- Lean ๅฎ็่ฏๆโ13Updated 3 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languagesโ59Updated this week
- Most influential papers in programming languagesโ55Updated 2 months ago
- Type Checking in Lean 4โ28Updated 2 weeks ago
- ๐ Chenโs Private Cuisine Menuโ10Updated 10 months ago
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.โ51Updated last week
- โ16Updated 3 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOCโ22Updated this week
- โ11Updated last month
- An attempt towards univalent classical mathematics in Cubical Agda.โ29Updated last year
- Normalization by evaluation of simply typed combinators.โ26Updated 3 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.โ13Updated this week