Yuito Murase

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

jest-pdf-snapshot. Jest matcher for pdf comparison.

satysfi-test. Write tests for SATySFi code

picrin-prolog-dsl. Scheme

lambda-star. Implementation of meta lambda calculus with cross-level computation

lispjit. PoC lisp interpreter that performs JIT Common-Lisp code generation

GreenDerive. INACTIVE: Yet another SATySFi library for displaying derivation trees

lamgamma. λγ

git-commit-dq. Ruby

toy-lisp. Toy Lisp Interpreter with Java 17

SATySFi-fonts-dejavu. SATySFi font package for DejaVu fonts

compiler-learning. playground for compiler

LearnLean. Code Snippets for TheoremProvingInLean

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

Kiret. simple scheme imlementation