Skip to content

@zer0-star zer0-star Follow

More

@zer0-star

zer0-star

Follow

View zer0-star's full-sized avatar

🌠

🌠

Tomoki Sakurai zer0-star

🌠

🌠

Follow

I like programming languages.

34 followers · 24 following

Achievements

Achievement: Pair Extraordinaire Achievement: Pull Sharkx2 Achievement: Starstruck Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinaire Achievement: Pull Sharkx2 Achievement: Starstruck Achievement: Arctic Code Vault Contributor

Highlights

Pro

Organizations

More

zer0-star /README.rst

✨ zer0-star ✨

I love:

👑 Nim 👑
$\lambda$ Haskell $\lambda$

Works

git-hs: A toy git implementetaion written in Haskell
Matsuri: Useful Variant Types and Powerful Pattern Matching for Nim
My library for competitive programming
nim-curry: Easy currying library for Nim

Pinned Loading

lapisla-prover/lapisla-prover lapisla-prover/lapisla-prover Public

lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋

TypeScript 55 1