Search: github.com/sarsko | Heykuki News

HK

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

4 years ago

315 points

2.

CreuSAT: A formally verified SAT solver written in Rust

github.com/sarsko

4 years ago

2 points

3.

Guice WebServer module with latest Jetty/Jersey/Jackson

github.com/sorskod

9 years ago

1 points

4.

Tiny-LLM – a course of serving LLM on Apple Silicon for systems engineers

github.com/skyzh

a year ago

297 points

5.

Mooncake: A KVCache-centric Disaggregated Architecture for LLM Serving

github.com/kvcache-ai

a year ago

8 points

6.

We created a Boilerplate for fast MVP development based on TypeScript and NestJs

github.com/brocoders

3 years ago

5 points

7.

Infio-copilot- A Cursor-inspired AI assistant for Obsidian

github.com/infiolab

a year ago

3 points

8.

Awesome-Dify-Workflow – Share and Discover Useful Dify Workflows

github.com/svcvit

a year ago

1 points