Pinned Repositories
satysfi-base
complementary collection of useful functions and modules for SATySFi
satysfi-class-yabaitech
SATySFi class file for yabaitech.tokyo
satysfi-derive
SATySFi commands and DSL for displaying derivation trees with maintainable code
egison-common-lisp
Port of https://github.com/egison/egison-scheme for Common Lisp
GreenDerive
INACTIVE: Yet another SATySFi library for displaying derivation trees
jest-pdf-snapshot
Jest matcher for pdf comparison.
lambda-star
Implementation of meta lambda calculus with cross-level computation
lispjit
PoC lisp interpreter that performs JIT Common-Lisp code generation
picrin-prolog-dsl
satysfi-test
Write tests for SATySFi code
zeptometer's Repositories
zeptometer/jest-pdf-snapshot
Jest matcher for pdf comparison.
zeptometer/egison-common-lisp
Port of https://github.com/egison/egison-scheme for Common Lisp
zeptometer/satysfi-test
Write tests for SATySFi code
zeptometer/lispjit
PoC lisp interpreter that performs JIT Common-Lisp code generation
zeptometer/SATySFi-fonts-dejavu
SATySFi font package for DejaVu fonts
zeptometer/toy-lisp
Toy Lisp Interpreter with Java 17
zeptometer/compiler-learning
playground for compiler
zeptometer/create-satysfi-fonts-package
create-satysfi-fonts-package helps you generate satsyfi fonts packages
zeptometer/LearnLean
Code Snippets for TheoremProvingInLean
zeptometer/docker-node-diff-pdf
Docker image for Node and diff-pdf
zeptometer/docker-satysfi-yarn-diff-pdf
SATySFi/satyrographos docker image with regression test environment with jest-pdf-snapshot
zeptometer/dotfiles
dotfiles
zeptometer/dotty
The Scala 3 compiler, also known as Dotty.
zeptometer/GRsync
Sync photos from Ricoh GR II / GR III via Wifi
zeptometer/mypage
zeptometer/noto-fonts
Noto fonts, except for CJK and emoji
zeptometer/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
zeptometer/pairing-tdd-excercise
zeptometer/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
zeptometer/SATySFi-fonts-asana-math
SATySFi font package for Asana-Math fonts
zeptometer/SATySFi-fonts-computer-modern-unicode
SATySFi font package for Computer Modern fonts
zeptometer/SATySFi-fonts-noto-sans
SATySFi font package for Noto Sans fonts.
zeptometer/SATySFi-fonts-noto-sans-cjk-jp
SATySFi Font Package for Noto Sans CJK JP fonts
zeptometer/SATySFi-fonts-noto-sans-jp
zeptometer/SATySFi-fonts-noto-serif
SATySFi font package for Noto Serif fonts.
zeptometer/SATySFi-fonts-noto-serif-cjk-jp
SATySFi Font Package for Noto Serif CJK JP fonts
zeptometer/satysfi-yarn-gm-docker
Docker image for satysfi with packages for visual regression tests
zeptometer/supercompiling-by-staging
(will be) working code from "Supercompiling with Staging" by Inoue
zeptometer/TimeTree-NoticeBot-rust
TimeTreeの予定を確認し、Discordに通知する
zeptometer/zeptometer.githuib.io