Search: github.com/theodi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: An AI-powered knowledge base that thinks

github.com/Shelter41

2 months ago

1 points

32.

Terradev: A next-gen slash command CLI for GPU provisioning and management

github.com/theoddden

4 months ago

1 points

33.

Nano Prompt UI – Local-Only Gemini Nano Side Panel for Chrome

github.com/theodedra

7 months ago

1 points

34.

The Onion: America's Finest Ansible Roles

github.com/theonion

12 years ago

1 points

35.

Fart noises as you scroll, because the Onion

github.com/theonion

12 years ago

1 points

36.

Mandala: Open Source Logistics Orchestration

github.com/theoddden

a month ago

1 points

37.

Drop-in replacement for the OpenAI API based on open source LLMs

github.com/theodo-group

2 years ago

1 points

38.

LLPhant – A Comprehensive PHP Generative AI Framework Using GPT4

github.com/theodo-group

3 years ago

1 points

39.

Pwnjs: A JavaScript library for browser exploitation

github.com/theori-io

6 years ago

DyslexicAtheist

1 points

40.

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

github.com/theori-io

8 years ago

1 points

41.

Show HN: Make a mind map from your org-mode files with graphviz

github.com/theodorewiles

9 years ago

1 points

42.

Tuna.js v1.0.0 released (Web Audio)

github.com/Theodeus

10 years ago

1 points

43.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

github.com/dmoews

a month ago

26 points

44.

Equational Theories Project

github.com/teorth

2 years ago

3 points

45.

Project to map out the relation between different equational theories of Magmas

github.com/teorth

2 years ago

2 points

46.

Model Merging in LLMs: Methods and Applications

github.com/EnnengYang

a year ago

1 points

47.

Hacker Laws: Theories, principles and patterns that developers will find useful

github.com/dwmkerr

7 years ago

203 points

48.

Laws, theories, principles and patterns that developers might find useful

github.com/dwmkerr

7 years ago

92 points

49.

Tc – Theodore Calvin's language-agnostic testing framework

github.com/ahoward

6 months ago

43 points

50.

Logic Theorist Reanimated in IPL-V

github.com/jeffshrager

3 months ago

5 points

51.

AI Physicist, a paradigm with algorithms for learning theories from data

github.com/tailintalent

5 years ago

3 points

52.

Hacker-laws: Laws, Theories, Principles and Patterns developers will find useful

github.com/dwmkerr

7 years ago

3 points

53.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver

github.com/bitwuzla

2 months ago

1 points

54.

Theories of Rational Decision

github.com/kzollman

a year ago

1 points

55.

Andromeda: Proof assistant for general type theories

github.com/Andromedans

6 years ago

1 points

56.

Quantum info theorist Chris Ferrie is now publishing referee reports on GitHub

github.com/csferrie

9 years ago

1 points

57.

Ask HN: Anyone interested in an offline version of Stack Overflow?

5 years ago

16 points

58.

Show HN: Connect any Open Data to Claude (and soon, any other LLMs)

github.com/OpenDataMCP

2 years ago

8 points

59.

Show HN: A Theory of Anxiety Conditions

a-theory-of-anxiety-conditions.github.io

4 years ago

7 points

60.

Show HN: I built a debugging MCP server that saves me ~2 programming hours a day

a year ago

5 points