Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Ask HN: Claude Code users, are you experiencing reduced usage limits today?

6 months ago

1 points

362.

Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine)

github.com/Purrplexia

7 months ago

1 points

363.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3

github.com/Purrplexia

7 months ago

1 points

364.

Show HN: Qantify – GPU-Accelerated Trading Library with Advanced Math and AutoML

github.com/Alradyin

7 months ago

1 points

365.

Show HN: JIT compilation of NES ROMs / 6502 programs to .NET MSIL

github.com/KallDrexx

8 months ago

1 points

366.

Show HN: Proxmox-GitOps: Recursive IaC Container Automation (+1min Demo [video]

github.com/stevius10

8 months ago

1 points

367.

Show HN: Λ³ Bayesian Jump Event Detector – Minimal, Interpretable, Open-Source

a year ago

1 points

368.

Show HN: Spectral.js 3

github.com/rvanwijnen

a year ago

1 points

369.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

a year ago

1 points

370.

Show HN: Colorful Images with Uniform Grayscale Values

github.com/zainhussaini

2 years ago

1 points

371.

Show HN: Transiter, backend web service for transit data

github.com/jamespfennell

2 years ago

1 points

372.

Show HN: Vignette – Image generation and animation with LLMs(not diffusion etc.)

github.com/notnotrishi

2 years ago

1 points

373.

Show HN: FMAs Complement – Like 2's Complement but for Matrix Multiplications

kibichomurage.medium.com

2 years ago

1 points

374.

Show HN: High quality source of algorithms/DS for competitive programming

6 years ago

1 points

375.

Escaping the Von Neumann architecture

github.com/quale-quest

11 years ago

8 points

376.

The Fatum Project

github.com/fatum2

7 years ago

2 points

377.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON)

theoria-dataset.github.io

a year ago

9 points

378.

SDR Recording of WWFD-Am Radio, Frederick MD?

5 years ago

3 points

379.

Nrsc5: Receive NRSC-5 digital radio stations using an RTL-SDR dongle

github.com/theori-io

3 years ago

185 points

380.

Software NRSC-5 Receiver

github.com/theori-io

9 years ago

44 points

381.

GPTGladiator: Make many draft responses, use second model to pick best

github.com/TheoremOne

3 years ago

34 points

382.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover

github.com/tsvibt

3 years ago

3 points

383.

TheoremJS – Math framework for JavaScript

github.com/arguiot

8 years ago

3 points

384.

Theorem Prover Museum: The Original Edinburgh LCF

github.com/theoremprover-museum

2 years ago

2 points

385.

An Automated Theorem Prover in Python

github.com/boyers

12 years ago

2 points

386.

First logic theorem prover written in TypeScript

github.com/kkty

7 years ago

2 points

387.

Automated theorem prover for first-order predicate logic written in TypeScript

github.com/kkty

7 years ago

2 points

388.

The Laravel CMS for website

github.com/TheOrchid

9 years ago

2 points

389.

Pwnjs: A JavaScript library for browser exploitation

github.com/theori-io

6 years ago

DyslexicAtheist

1 points

390.

Building a 1-day Exploit for Google Chrome with Sources [pdf]

github.com/theori-io

8 years ago

1 points