HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Show HN: I save £300/mo by auto-scaling my staging cluster at night
github.com/tiny-systems
discuss
3 months ago
gtpoxa
1 points
92.
▲
Agent Engine Optimization (AEO): Selling to AI Agents
github.com/subconscious-systems
discuss
3 months ago
hyluo
1 points
93.
▲
Kevros – Governance-as-a-service API for AI agents
github.com/ndl-systems
discuss
4 months ago
kevros_ai_chain
1 points
94.
▲
GitHub-traffic: GitHub traffic CLI utility with bonus features
github.com/manifold-systems
discuss
a year ago
thunderbong
1 points
95.
▲
A re-imagined Love2d version of QBasic gorillas
github.com/systemsoverload
discuss
14 years ago
beshrkayali
1 points
96.
▲
Show HN: Ditch your ORM with type-safe native SQL
github.com/manifold-systems
discuss
2 years ago
owlstuffing
1 points
97.
▲
Show HN: Automatic Type-Safe CSV
github.com/manifold-systems
discuss
2 years ago
owlstuffing
1 points
98.
▲
Type-safe access to PostgreSQL in Java
github.com/manifold-systems
discuss
2 years ago
owlstuffing
1 points
99.
▲
Multiple return values for Java, also tuples, also 'auto'
github.com/manifold-systems
discuss
4 years ago
mckinney
1 points
100.
▲
Ferrous Teaching Material
github.com/ferrous-systems
discuss
5 years ago
hkmatsumoto
1 points
101.
▲
Let's Encrypt Collection for Ansible – Stable Version 1.0.0
github.com/T-Systems-MMS
discuss
5 years ago
zufallsheld
1 points
102.
▲
A set of tools for describing, running and visualizing systems diagrams
github.com/lethain
discuss
6 years ago
mooreds
1 points
103.
▲
Type-Safe GraphQL in Kotlin
github.com/manifold-systems
discuss
6 years ago
mckinney
1 points
104.
▲
Java Ranges: Range range = 1 to 5;
github.com/manifold-systems
discuss
6 years ago
mckinney
1 points
105.
▲
Ansible-Collection containing modules to change Icinga-objects with director API
github.com/T-Systems-MMS
discuss
6 years ago
zufallsheld
1 points
106.
▲
Type-Safe Unit Expressions for Java
github.com/manifold-systems
discuss
6 years ago
mckinney
1 points
107.
▲
Operator Overloading Added to Java
github.com/manifold-systems
discuss
7 years ago
mckinney
1 points
108.
▲
Open Mesh lock down exploit
github.com/true-systems
discuss
9 years ago
spaceboy
1 points
109.
▲
Show HN: C++ library for embedded and IoT projects (ESP32)
github.com/open-control-systems
discuss
a year ago
dshil
8 points
110.
▲
Show HN: device-hub – self-hosted IoT data collection and monitoring
github.com/open-control-systems
discuss
a year ago
dshil
4 points
111.
▲
Show HN: Auditor Core–CLI security auditing engine with mathematical SPI scoring
github.com/auditor-core-systems
discuss
3 months ago
EldorZ
1 points
112.
▲
device-hub – a self-hosted solution for collecting and storing IoT device data
discuss
a year ago
dshil
1 points
113.
▲
Formal Systems in Biology
github.com/prathyvsh
37 comments
6 years ago
tablet
133 points
114.
▲
Implementations of various type systems in OCaml
github.com/tomprimozic
6 comments
12 years ago
mercurial
113 points
115.
▲
Grow Your Own Type System
github.com/tomprimozic
8 comments
11 years ago
wtetzner
105 points
116.
▲
Show HN: Simple refined types implementation that can prevent Heartbleed
github.com/tomprimozic
13 comments
12 years ago
tomp
56 points
117.
▲
Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API
github.com/IaroslavElistratov
1 comment
6 months ago
iaroo
13 points
118.
▲
Show HN: Patina, an AI that learns your judgment, not just your tasks
github.com/Sanctum-Origo-Systems
1 comment
18 days ago
andywidjaja
10 points
119.
▲
Show HN: DarkDarkGo – Distributed Search Engine for the Darknet
github.com/Bennington-Distributed-Systems-2017
discuss
7 years ago
hoanhan101
5 points
120.
▲
We modeled Google and Bing to build a distributed search engine for the dark web
github.com/Bennington-Distributed-Systems-2017
2 comments
7 years ago
hoanhan101
4 points
More