Image
JJ apropos
2 followers · 4 following
  • Vancouver, Canada
  • https://toki.la

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

  • Joined on 2025-07-26
Repositories
7
 Projects Packages Public activity Starred repositories
18
Filter
Sort
apropos/guile-pipes
guile-pipes
Scheme 0 0
A small set of pipelining macros for Guile Scheme.
guile macros pipeline scheme threading
Updated 2026-01-05 22:59:35 +01:00
apropos/aoc
aoc
Racket 0 0
Yearly Advent of Code work.
advent-of-code puzzles
Updated 2025-12-14 07:41:40 +01:00
cio
Racket 2 0
An effect handlers library for Racket and Guile Scheme, built atop delimited continuations and prompts.
effect-handlers guile handlers racket scheme
Updated 2025-12-01 11:04:41 +01:00
NbE
Lean 1 0
The untyped / simply typed / dependently typed lambda calculus & friends, implemented via Normalization by Evaluation.
dependent-types lambda-calculus normalization-by-evaluation
Updated 2025-12-01 11:03:36 +01:00
guile
Scheme 0 0
The Guile Scheme implementation.
Updated 2025-11-30 05:56:49 +01:00
apropos/guile-parsec
guile-parsec
Racket 0 0
[WIP] A parser combinator library for Guile Scheme.
guile parser parser-combinators scheme
Updated 2025-10-24 11:36:26 +02:00
apropos/guile-web
guile-web
JavaScript 0 0
Guile Scheme bindings for the Document Object Model.
dom guile javascript scheme
Updated 2025-10-24 09:00:53 +02:00