Search: github.com/axios | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Sortcheck: Tool for detecting violations of ordering axioms in qsort/bsearch ca

github.com/yugr

2 years ago

2 points

152.

Single Axis PanGestureRecognizer for iOS

github.com/ruiwen

13 years ago

1 points

153.

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama)

github.com/DynamicCSharp

4 months ago

1 points

154.

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com/matthew-scherf

6 months ago

1 points

155.

Pyano: A formalization of first-order logic and Peano's axioms in Python

github.com/sanjoy

3 years ago

1 points

156.

A fast 3D collision detection algorithm

cairno.substack.com

a year ago

269 points

157.

Show HN: Compass CNC – Open-source handheld CNC router

compassrouter.com

a year ago

176 points

158.

Show HN: Kimu – Open-Source Video Editor

a year ago

106 points

159.

Show HN: A high-altitude low-power flight computer for high-altitude balloons

github.com/New-England-Weather-Balloon-Society

a year ago

42 points

160.

Show HN: Advanced-Alchemy – A framework agnostic library for SQLAlchemy

github.com/litestar-org

a year ago

38 points

161.

Show HN: Create Matplotlib visualizations from the command-line

github.com/dcmoura

4 years ago

11 points

162.

Show HN: lpviz – Interactive linear programming visualization in the browser

a day ago

8 points

163.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem?

6 months ago

7 points

164.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall"

github.com/deramazesaa-web

6 months ago

7 points

165.

Show HN: DIVZ – a new open-source 3D Slider for your website, built in React

github.com/lewhunt

2 years ago

5 points

166.

Show HN: VizGPT – Make contextual data visualizations with a chat interface

github.com/ObservedObserver

3 years ago

5 points

167.

Show HN: uPlot.js v1.0 – A fast, small chart for time series, OHLC and bars

6 years ago

5 points

168.

Toward a new mathematical theory of computation.

17 years ago

5 points

169.

Show HN: Physics from "I am": a recursive model that works?

github.com/ktynski

10 months ago

4 points

170.

Show HN: XOC 1.6.0: A Powerful, Commercially-Proven Compiler Framework

a year ago

4 points

171.

Release of XOC Compiler Framework: A Powerful, Commercially-Proven Solution

a year ago

4 points

172.

Show HN: Sptfw – (unofficial) Spotify wrapped, how mediocre is your taste?

github.com/fwttnnn

5 months ago

3 points

173.

Show HN: UltraPlot 2.0 – semantic legends, better layouts, faster imports

github.com/Ultraplot

4 months ago

3 points

174.

Show HN: We made a VS Code extension to recreate a debugger experience from logs

marketplace.visualstudio.com

a year ago

3 points

175.

Show HN: Linkitall – create dependency-graphs of ideas

github.com/charstorm

3 years ago

3 points

176.

Proton/electron mass ratio pure geometry – 10⁻¹³% error, zero free parameters

6 months ago

2 points

177.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 months ago

2 points

178.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

179.

Show HN: Aigr.id – Decentralized Internet of Intelligence

github.com/OpenCyberspace

a year ago

2 points

180.

Show HN:I built a deterministic 10k-node VRP solver on a $100 phone

2 months ago

2 points