Discover @zeptometer Open Source projects

Yuito Murase (@zeptometer)

zeptometer

Stars
50
Global Rank 341,187 (Top 12 %)
Followers 38
Following 11
Registered about 14 years ago
Most used languages

Common Lisp
21.4 %

Makefile 14.3 %

Ruby
14.3 %

Lean 7.1 %

JavaScript
7.1 %

C
7.1 %

Scheme
7.1 %

Rust
7.1 %

Shell
7.1 %

Java
7.1 %
Location 🇯🇵 Japan
Country Total Rank 6,914
Country Ranking

Lean 10

Scheme
34

Common Lisp
49

Makefile 158

Shell
1,108

Rust
1,453

Ruby
2,450

Java
2,564

JavaScript
2,635

C
2,974

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

picrin-prolog-dsl

lambda-star

Implementation of meta lambda calculus with cross-level computation

GreenDerive

INACTIVE: Yet another SATySFi library for displaying derivation trees

lispjit

PoC lisp interpreter that performs JIT Common-Lisp code generation

git-commit-dq

toy-lisp

Toy Lisp Interpreter with Java 17

SATySFi-fonts-dejavu

SATySFi font package for DejaVu fonts

LearnLean

Code Snippets for TheoremProvingInLean

Kiret

simple scheme imlementation

create-satysfi-fonts-package

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

compiler-learning

playground for compiler