Search: github.com/clarus | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Proving false in Coq using an implementation bug (github.com/clarus)

125 points

11 years ago

2.

Scalable, testable and typable side effects for Redux (github.com/clarus)

2 points

10 years ago

3.

Redux Ship: Composable, typable and testable Redux middleware (github.com/clarus)

2 points

10 years ago

4.

Clarissa – A Personal Bot

1 point

8 years ago

5.

Prepare()-ing for execution: a new API for process creation (gist.github.com)

18 points

a year ago

6.

Bootstrap C projects without the pain (github.com/claeusdev)

13 points

a year ago

7.

Rust Implementation of Claude Code (github.com/Kuberwastaken)

8 points

2 months ago

8.

Show HN: Rocky and Caveman Speak in Claurst CLI Save Big Token Amaze Amaze Amaze (github.com/Kuberwastaken)

5 points

2 months ago

9.

Prepare(): a new API proposal for process creation (gist.github.com)

3 points

a year ago

10.

The Universal 8-bit computer game (github.com/Fabrizio-Caruso)

3 points

8 years ago

11.

Show HN: Claurst – Rust-Based OSS Terminal Coding Agent Now in Beta (github.com/kuberwastaken)

3 points

20 days ago

12.

Show HN: Clausona – Manage multiple Claude Code accounts, keep all your settings (github.com/larcane97)

3 points

3 months ago

13.

A simple C project scaffolder (github.com/claeusdev)

3 points

10 months ago

14.

An ARM Cortex M0 Emulator for DOS (github.com/clausecker)

3 points

6 years ago

15.

ViDeNN – Deep Blind Video Denoising (github.com/clausmichele)

3 points

6 years ago

16.

Covid-19 Infection Fatality Rates (github.com/clauswilke)

3 points

6 years ago

17.

AS3 Shoutcast stream parser/player (github.com/claus)

2 points

17 years ago

18.

Reuse Flash vector art in your iPhone applications (export SWF shapes to Obj-C) (wiki.github.com)

2 points

17 years ago

19.

A categorized community-driven collection of Smalltalk resources (github.com/gstn-caruso)

2 points

sebastianconcpt

7 years ago

20.

A book covering the fundamentals of data visualization (github.com/clauswilke)

2 points

8 years ago

21.

Apollo 11 transcript csv on GitHub (github.com/clausd)

1 point

9 years ago

22.

Clausona: Claude Code profile manager now auto-syncs plugins across accounts (github.com/larcane97)

1 point

2 months ago

23.

Open source tech interview assistant (github.com/claeusdev)

1 point

6 months ago

24.

Show HN: GeoDesk Geo-Object Librarian version 2.1 (github.com/clarisma)

1 point

7 months ago

25.

Show HN: I ported an old jQuery plugin library to create cloud words (github.com/claushellsing)

1 point

2 years ago

26.

Easily Manage Feature Toggles (github.com/claeusdev)

1 point

2 years ago

27.

Cross-Lib – A universal 8-bit library (github.com/Fabrizio-Caruso)

1 point

4 years ago

28.

ggtext: Improved text rendering for ggplot2 (github.com/clauswilke)

1 point

7 years ago

29.

Clavus - a command-line tool to manage configurations (github.com/peter-mbx)

2 points

2 years ago

30.

Santa Clause Python Concurrency (github.com/1nc0gn30)

1 point

a year ago