zeptometer

jest-pdf-snapshot

Jest matcher for pdf comparison.

egison-common-lisp

Port of https://github.com/egison/egison-scheme for Common Lisp

satysfi-test

Write tests for SATySFi code

GreenDerive

INACTIVE: Yet another SATySFi library for displaying derivation trees

lispjit

PoC lisp interpreter that performs JIT Common-Lisp code generation

SATySFi-fonts-dejavu

SATySFi font package for DejaVu fonts

toy-lisp

Toy Lisp Interpreter with Java 17

compiler-learning

playground for compiler

create-satysfi-fonts-package

create-satysfi-fonts-package helps you generate satsyfi fonts packages

LearnLean

Code Snippets for TheoremProvingInLean

docker-node-diff-pdf

Docker image for Node and diff-pdf

docker-satysfi-yarn-diff-pdf

SATySFi/satyrographos docker image with regression test environment with jest-pdf-snapshot

dotfiles

dotfiles

dotty

The Scala 3 compiler, also known as Dotty.

GRsync

Sync photos from Ricoh GR II / GR III via Wifi

mypage

noto-fonts

Noto fonts, except for CJK and emoji

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pairing-tdd-excercise

satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos

SATySFi-fonts-asana-math

SATySFi font package for Asana-Math fonts

SATySFi-fonts-computer-modern-unicode

SATySFi font package for Computer Modern fonts

SATySFi-fonts-noto-sans

SATySFi font package for Noto Sans fonts.

SATySFi-fonts-noto-sans-cjk-jp

SATySFi Font Package for Noto Sans CJK JP fonts

SATySFi-fonts-noto-sans-jp

SATySFi-fonts-noto-serif

SATySFi font package for Noto Serif fonts.

SATySFi-fonts-noto-serif-cjk-jp

SATySFi Font Package for Noto Serif CJK JP fonts

satysfi-yarn-gm-docker

Docker image for satysfi with packages for visual regression tests

TimeTree-NoticeBot-rust

TimeTreeの予定を確認し、Discordに通知する

zeptometer.githuib.io