Potato Hatsue
GitHub

Potato Hatsue

@berberman

View GitHub Profile

About

PhD student interested in PL/Lean ITP

Location Robetta
Company UCSC
Followers 207
Following 126
Public Repositories 101
Expertise

Skills & Technologies

HTML Haskell Lean Nix
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

sf-in-lean-previews

HTML

No project description available.

⭐ 1 Forks: 0
HTML View Project

berberman_old

No project description available.

⭐ 1 Forks: 0
Repository View Project

nvfetcher

Haskell

Generate nix sources expr for the latest version of packages

⭐ 308 Forks: 23
Haskell View Project

stlc_sfl

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project

flakes

Nix

Some packages I use on NixOS

⭐ 37 Forks: 3
Nix View Project

arch-hs

Haskell

Distribute hackage packages to archlinux

⭐ 26 Forks: 4
Haskell View Project
← Back to Talent Open GitHub Profile ↗