Search: github.com/sarsko | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

2.

CreuSAT: A formally verified SAT solver written in Rust (github.com/sarsko)

2 points

4 years ago

3.

Guice WebServer module with latest Jetty/Jersey/Jackson (github.com/sorskod)

1 point

9 years ago

4.

Tiny-LLM – a course of serving LLM on Apple Silicon for systems engineers (github.com/skyzh)

297 points

a year ago

5.

Mooncake: A KVCache-centric Disaggregated Architecture for LLM Serving (github.com/kvcache-ai)

8 points

a year ago

6.

We created a Boilerplate for fast MVP development based on TypeScript and NestJs (github.com/brocoders)

5 points

3 years ago

7.

Infio-copilot- A Cursor-inspired AI assistant for Obsidian (github.com/infiolab)

3 points

a year ago

8.

Awesome-Dify-Workflow – Share and Discover Useful Dify Workflows (github.com/svcvit)

1 point

a year ago