• Vancouver, Canada
  • https://toki.la

  • I write Scheme, Lean, and Rust. Interested in most things.

  • Joined on 2025年07月26日
Filter
Sort
A static site generator for a wiki, built with Hakyll. Supports (Pandoc's) compilation from Typst to HTML.
Updated 2026年06月04日 09:37:43 +02:00
apropos/typst-eggs
A mirror of retroflexivity's examples / glossing package.
Updated 2026年05月24日 05:23:26 +02:00
apropos/typst-ubcwpl
A Typst template for the UBC Working Papers in Linguistics journal.
Updated 2026年05月24日 05:23:05 +02:00
apropos/typst-syntree
A mirror of lynn's syntax trees package.
Updated 2026年05月14日 07:26:17 +02:00
A mirror of Stefan Israelsson Tampe's syntax-parse for Guile.
Updated 2026年05月02日 01:53:11 +02:00
apropos/typst-prooflists
A Typst package to typeset Gentzen-style proof trees in a succinct nested list notation.
Updated 2026年05月02日 01:41:27 +02:00
apropos/jj-zen
An alternative command-line interface for Jujutsu.
Updated 2026年04月19日 09:08:30 +02:00
Guile Scheme's delimited control primitives implemented for Racket. Website pending.
Updated 2026年04月08日 01:38:19 +02:00
a Premium EditionTM digital library
Updated 2026年03月30日 21:08:58 +02:00
apropos/guile-web
[WIP] Guile Scheme bindings for the Document Object Model.
Updated 2026年03月29日 09:21:30 +02:00
The Guile Scheme implementation.
Updated 2026年03月03日 03:50:43 +01:00
apropos/guile-pipes
A small set of pipelining macros for Guile Scheme.
Updated 2026年01月05日 22:59:35 +01:00
apropos/aoc
Yearly Advent of Code work.
Updated 2025年12月14日 07:41:40 +01:00
An effect handlers library for Racket and Guile Scheme, built atop delimited continuations and prompts.
Updated 2025年12月01日 11:04:41 +01:00
The untyped / simply typed / dependently typed lambda calculus & friends, implemented via Normalization by Evaluation.
Updated 2025年12月01日 11:03:36 +01:00