Search: github.com/solomon-b | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: I'm launching a LPFM radio station

4 months ago

113 points

2.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

github.com/solomon-b

2 months ago

3 points

3.

Show HN: claude-env – Manage multiple accounts for Claude-code

github.com/solomon-b

4 months ago

2 points

4.

Show HN: Single file Lambda Calculus' demonstrating various type system features

github.com/solomon-b

2 months ago

1 points

5.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust

github.com/crushr3sist

6 months ago

2 points

6.

Co-Alegebraic Chat Bots in Haskell [Not AI]

github.com/cofree-coffee

4 months ago

3 points

7.

Morphisms of Computational Structures

github.com/prathyvsh

6 years ago

2 points