Search: github.com/cylc | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Typed Programming Analysis without Encodings (2024) [pdf]

github.com/barry-jay-personal

a year ago

1 points

242.

Sequent-Calculus

github.com/Shen-Language

7 years ago

1 points

243.

Show HN: How much is 13B euros?

howmuchis13billioneuros.com

2 years ago

117 points

244.

Ask HN: Does working for big tech companies pay off more compared to startups?

11 years ago

46 points

245.

Show HN: PPO agent reduces elevator wait times by 84% vs. classical dispatching

github.com/jonas-is-coding

4 months ago

jonas-is-coding

2 points

246.

Show HN: Jadecy, to compute Java dependencies and cycles

6 years ago

2 points

247.

Show HN: Elia – A governed cognitive architecture (Phase 0 live)

github.com/Jmc-arch

3 months ago

1 points

248.

A λ-calculus interpreter written in C preprocessor macros

github.com/Hirrolot

5 years ago

85 points

249.

Show HN: Implementation of CycleGan with Oneflow Framework

github.com/Ldpe2G

6 years ago

2 points

250.

Mxnet implementation of CycleGAN

github.com/Ldpe2G

9 years ago

2 points

251.

Show HN: Script for calculate MXNet network flops

github.com/Ldpe2G

7 years ago

1 points

252.

A Tutorial on Matrix Differential Calculus with Tensors for ML [pdf]

github.com/mtomassoli

10 years ago

1 points

253.

One Rep Maximum Calculator

github.com/Maxthecoder1

11 years ago

1 points

254.

Show HN: Calculator for US individual income tax, from 1970-present

4 years ago

497 points

255.

Show HN: Dut – a fast Linux disk usage calculator

2 years ago

396 points

256.

Drugwars for the TI-82/83/83 Calculators (2011)

gist.github.com

3 months ago

275 points

257.

Show HN: Token price calculator for 400+ LLMs

github.com/AgentOps-AI

2 years ago

268 points

258.

Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus

github.com/woodrush

4 years ago

249 points

259.

LaiNES – Cycle-accurate NES emulator in around 1000 lines of code

github.com/AndreaOrru

10 years ago

231 points

260.

Open source calculator firmware DB48X forbids CA/CO use due to age verification

4 months ago

225 points

261.

Connomore64: Cycle exact emulation of the C64 using parallel microcontrollers

github.com/c1570

a year ago

201 points

262.

Show HN: Howmanypeoplearearound – Use wifi to calculate number of people around

github.com/schollz

9 years ago

199 points

263.

Show HN: Procal: A simple Qt-based programming calculator

github.com/fellerts

3 years ago

173 points

264.

Zkeme80 – A Forth-Based OS for the TI-84+ Calculator

github.com/siraben

7 years ago

164 points

265.

Faster: Fast numerical calculations in Rust

github.com/AdamNiederer

9 years ago

163 points

266.

BitcoinEmissions – A project to calculate CO2 emissions of mining bitcoin

github.com/peenuty

11 years ago

159 points

267.

KnightOS – an open-source operating system for TI calculators

github.com/KnightOS

11 years ago

158 points

268.

Show HN: Caramel – a modern syntax for the lambda calculus

github.com/MaiaVictor

11 years ago

130 points

269.

KnightOS, a third party OS for TI z80 calculators

github.com/KnightOS

12 years ago

123 points

270.

Rust, Macros, λ-calculus/Church numerals, oh my

github.com/nixpulvis

7 years ago

121 points