HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Proving false in Coq using an implementation bug
github.com/clarus
61 comments
11 years ago
clarus
125 points
2.
▲
Scalable, testable and typable side effects for Redux
github.com/clarus
discuss
10 years ago
altern8tif
2 points
3.
▲
Redux Ship: Composable, typable and testable Redux middleware
github.com/clarus
discuss
10 years ago
guifortaine
2 points
4.
▲
Clarissa – A Personal Bot
1 comment
8 years ago
froggiememe
1 points
5.
▲
Prepare()-ing for execution: a new API for process creation
gist.github.com
discuss
a year ago
birdculture
18 points
6.
▲
Bootstrap C projects without the pain
github.com/claeusdev
discuss
a year ago
claeusdev
13 points
7.
▲
Rust Implementation of Claude Code
github.com/Kuberwastaken
discuss
3 months ago
kordlessagain
8 points
8.
▲
Show HN: Rocky and Caveman Speak in Claurst CLI Save Big Token Amaze Amaze Amaze
github.com/Kuberwastaken
1 comment
3 months ago
kuberwastaken
5 points
9.
▲
Prepare(): a new API proposal for process creation
gist.github.com
1 comment
a year ago
clausecker
3 points
10.
▲
The Universal 8-bit computer game
github.com/Fabrizio-Caruso
1 comment
8 years ago
pmarin
3 points
11.
▲
Show HN: Claurst – Rust-Based OSS Terminal Coding Agent Now in Beta
github.com/kuberwastaken
discuss
a month ago
kuberwastaken
3 points
12.
▲
Show HN: Clausona – Manage multiple Claude Code accounts, keep all your settings
github.com/larcane97
discuss
3 months ago
larcane
3 points
13.
▲
A simple C project scaffolder
github.com/claeusdev
discuss
a year ago
claeusdev
3 points
14.
▲
An ARM Cortex M0 Emulator for DOS
github.com/clausecker
discuss
6 years ago
venti
3 points
15.
▲
ViDeNN – Deep Blind Video Denoising
github.com/clausmichele
discuss
6 years ago
minxomat
3 points
16.
▲
Covid-19 Infection Fatality Rates
github.com/clauswilke
discuss
6 years ago
flocial
3 points
17.
▲
AS3 Shoutcast stream parser/player
github.com/claus
discuss
17 years ago
jgalvez
2 points
18.
▲
Reuse Flash vector art in your iPhone applications (export SWF shapes to Obj-C)
wiki.github.com
discuss
17 years ago
dzdzdzzz
2 points
19.
▲
A categorized community-driven collection of Smalltalk resources
github.com/gstn-caruso
discuss
7 years ago
sebastianconcpt
2 points
20.
▲
A book covering the fundamentals of data visualization
github.com/clauswilke
discuss
8 years ago
ghosthamlet
2 points
21.
▲
Apollo 11 transcript csv on GitHub
github.com/clausd
1 comment
9 years ago
newman8r
1 points
22.
▲
Clausona: Claude Code profile manager now auto-syncs plugins across accounts
github.com/larcane97
discuss
3 months ago
larcane
1 points
23.
▲
Open source tech interview assistant
github.com/claeusdev
discuss
7 months ago
claeusdev
1 points
24.
▲
Show HN: GeoDesk Geo-Object Librarian version 2.1
github.com/clarisma
discuss
8 months ago
lpellegr
1 points
25.
▲
Show HN: I ported an old jQuery plugin library to create cloud words
github.com/claushellsing
discuss
2 years ago
claushellsing
1 points
26.
▲
Easily Manage Feature Toggles
github.com/claeusdev
discuss
2 years ago
claeusdev
1 points
27.
▲
Cross-Lib – A universal 8-bit library
github.com/Fabrizio-Caruso
discuss
4 years ago
libele
1 points
28.
▲
ggtext: Improved text rendering for ggplot2
github.com/clauswilke
discuss
7 years ago
minimaxir
1 points
29.
▲
Clavus - a command-line tool to manage configurations
github.com/peter-mbx
1 comment
2 years ago
pietrom93
2 points
30.
▲
Santa Clause Python Concurrency
github.com/1nc0gn30
discuss
a year ago
1nc0gn30
1 points
More