Search: github.com/stepci | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

A formally verified proof of the soundness of System F

github.com/stepchowfun

7 years ago

2 points

32.

Finding ambiguities in context-free grammars

github.com/stepchowfun

9 years ago

2 points

33.

Show HN: Noteref – Maintain references to notes in your codebase

github.com/stepchowfun

8 years ago

1 points

34.

Typical: Data interchange with algebraic data types

github.com/stepchowfun

2 years ago

082349872349872

1 points

35.

LRU Eviction of Docker Images

github.com/stepchowfun

3 years ago

1 points

36.

Typical Rusty: Data interchange with algebraic data types

github.com/stepchowfun

4 years ago

1 points

37.

Show HN: D3-Stencil

8 years ago

2 points

38.

Stencil: A Compiler for Web Components

github.com/ionic-team

9 years ago

12 points

39.

Show HN: Python visualisation of the stepping stone algorithm

github.com/sm-alejandr0

2 years ago

1 points

40.

Show HN: Chrome Extension to Test Multiple Endpoints

6 years ago

3 points

41.

Stepcounting: Fitbit vs. Fuelband

gedankenstuecke.github.com

13 years ago

gedankenstuecke

2 points

42.

Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints

a year ago

2 points

43.

Stepping down as Mockito maintainer after ten years

github.com/mockito

6 months ago

283 points

44.

Show HN: "data-to-paper" – autonomous stepwise LLM-driven research

github.com/Technion-Kishony-lab

2 years ago

139 points

45.

From "hot blonde" to "stepsis": porn titles over time

github.com/dhealy05

a year ago

21 points

46.

I am stepping down from MkDocs

github.com/mkdocs

2 years ago

6 points

47.

Leptos creator stepping down as active maintainer

github.com/leptos-rs

5 days ago

4 points

48.

Pystencils – speed up your stencil computations on numpy arrays

github.com/mabau

6 years ago

4 points

49.

Stedux – Redux for Stencil Components

github.com/randy-r

4 years ago

2 points

50.

Show HN: M33mu – Cortex-M33 emulation with TrustZone, reverse stepping, and GDB

github.com/danielinux

3 months ago

2 points

51.

Stepping back as maintainer

github.com/jesseduffield

a year ago

2 points

52.

I am stepping down from MkDocs

github.com/mkdocs

2 years ago

2 points

53.

I created an MCP that lets AI debug runtime code (breakpoints, stepping, etc.)

github.com/ai-debugger-inc

5 months ago

1 points

54.

Meteor: Live Data Sepcification

github.com/meteor

13 years ago

1 points

55.

Free iOS GUI Stencils for Sketch.app

github.com/sketch-templates

13 years ago

1 points

56.

Dhewm3 Build with Carmack's Reverse Stencil Shadows from Expired Creative Patent

github.com/dhewm

6 years ago

1 points

57.

Show HN: I'm 17 and wrote a guide on how to build your own programming language

easel.hackclub.com

2 years ago

149 points

58.

Show HN: Letting LLMs Run a Debugger

github.com/mohsen1

a year ago

147 points

59.

Show HN: iPhone 2005 weird "Blob Keyboard" simulator

a year ago

129 points

60.

Show HN: Fio: 3D World editor/game engine – inspired by Radiant and Hammer

github.com/ViciousSquid

3 months ago

96 points