Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: Transiter, backend web service for transit data (github.com/jamespfennell)

1 point

2 years ago

362.

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

1 point

2 years ago

363.

Show HN: FMAs Complement – Like 2's Complement but for Matrix Multiplications (kibichomurage.medium.com)

1 point

2 years ago

364.

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

1 point

6 years ago

365.

Escaping the Von Neumann architecture (github.com/quale-quest)

8 points

11 years ago

366.

The Fatum Project (github.com/fatum2)

2 points

7 years ago

367.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON) (theoria-dataset.github.io)

9 points

a year ago

368.

SDR Recording of WWFD-Am Radio, Frederick MD?

3 points

5 years ago

369.

Nrsc5: Receive NRSC-5 digital radio stations using an RTL-SDR dongle (github.com/theori-io)

185 points

3 years ago

370.

Software NRSC-5 Receiver (github.com/theori-io)

44 points

9 years ago

371.

GPTGladiator: Make many draft responses, use second model to pick best (github.com/TheoremOne)

34 points

3 years ago

372.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

373.

TheoremJS – Math framework for JavaScript (github.com/arguiot)

3 points

8 years ago

374.

Theorem Prover Museum: The Original Edinburgh LCF (github.com/theoremprover-museum)

2 points

2 years ago

375.

An Automated Theorem Prover in Python (github.com/boyers)

2 points

12 years ago

376.

First logic theorem prover written in TypeScript (github.com/kkty)

2 points

7 years ago

377.

Automated theorem prover for first-order predicate logic written in TypeScript (github.com/kkty)

2 points

7 years ago

378.

The Laravel CMS for website (github.com/TheOrchid)

2 points

9 years ago

379.

Pwnjs: A JavaScript library for browser exploitation (github.com/theori-io)

1 point

DyslexicAtheist

6 years ago

380.

Building a 1-day Exploit for Google Chrome with Sources [pdf] (github.com/theori-io)

1 point

8 years ago

381.

Powerful platform for building a business application using the Laravel (github.com/TheOrchid)

1 point

9 years ago

382.

Laravel Admin / Laravel CMS (github.com/TheOrchid)

1 point

9 years ago

383.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (github.com/dmoews)

26 points

24 days ago

384.

Theoretical Computer Science (github.com/mostafatouny)

1 point

a year ago

385.

Show HN: Protocol for Verified Ephemeral Broadcasting (github.com/skylessdev)

2 points

5 months ago

386.

Some Junk Theorems in Lean (github.com/James-Hanson)

91 points

5 months ago

387.

Common Fundamental Theorem of Software Development (github.com/IndieRobert)

18 points

10 years ago

388.

Simple Proof of Fermats Last Theorem: Is There Any Mistake Here? (github.com/TheDeepThinker)

4 points

10 years ago

389.

A new/general proof of 4 color theorem (github.com/windglider)

2 points

9 years ago

390.

A chatterbot using reservoir computing to process and generate natural language.

3 points

15 years ago