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/picrin-prolog-dsl
zeptometer/lambda-star
Implementation of meta lambda calculus with cross-level computation
zeptometer/git-commit-dq
zeptometer/Kiret
simple scheme imlementation
zeptometer/chisel-loopback
u232c loopback module written in chisel
zeptometer/chisel-uart
Uart module written in chisel
zeptometer/cl-scons
stream-cons for CL
zeptometer/clstg
Common Lisp framework for shooting game
zeptometer/cutboard
zeptometer/DE1_chisel_loopback
zeptometer/DE1_Sdram_test
zeptometer/elvm
EsoLangVM Compiler Infrastructure
zeptometer/gigdb
zeptometer/GomiHiroi
tiny scheme interpreter with visualization of garbage collection
zeptometer/Hyperlisp
Hyperlisp(http://hagi.is.s.u-tokyo.ac.jp/~yh/yoiko.html)の実装
zeptometer/min-caml
moved from https://sourceforge.net/p/min-caml/code/
zeptometer/noto-cjk
Noto CJK fonts
zeptometer/package-local-nicknames
design/proof-of-concept for a package-local nicknames extension for sbcl (and hopefully other CLs)
zeptometer/picrin
a lightweight scheme interpreter
zeptometer/retrokitchen
zeptometer/SATySFi
A statically-typed, functional typesetting system
zeptometer/shijimi
tiny shell made for homework
zeptometer/succinct-suffix-array
Succinct suffic array implementation with Common Lisp
zeptometer/techwriting
zeptometer/twoproc_examples
zeptometer/TWV
official site of TWV - ut-wandervogel.jp
zeptometer/vscode-satysfi
zeptometer/zptm.tk
asdf