Search: github.com/AgentaaU | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

122.

Show HN: Agent-fs – The missing filesystem for agents (and humans)

github.com/desplega-ai

3 months ago

2 points

123.

Show HN: Aegis – Open-source pre-execution firewall for AI agents

github.com/Justin0504

4 months ago

2 points

124.

AAP – An open standard for verifiable AI agent actions (RFC draft)

4 months ago

2 points

125.

Show HN: Open-sourced AI Agent runtime (YAML-first)

github.com/NikoSokratous

4 months ago

1 points

126.

Show HN: AI alignment is an infrastructure problem

4 months ago

1 points

127.

Show HN: AgentLens – Open-source observability and audit trail for AI agents

github.com/amitpaz1

4 months ago

1 points

128.

Show HN: AgentSDK-Swift – Build AI Agents in Native Swift

github.com/fumito-ito

a year ago

1 points

129.

Mirth – a type-safe concatenative purely functional programming language

github.com/mirth-lang

7 years ago

119 points

130.

Morloc: Foreign languages unified under common functional type system

github.com/morloc-project

5 years ago

93 points

131.

Yatima: A programming language for the decentralized web

github.com/yatima-inc

5 years ago

89 points

132.

Sylvester the Cat's Common Lisp IDE

github.com/capitaomorte

12 years ago

76 points

133.

Rebuilding wc (In Haskell)

github.com/ChrisPenner

7 years ago

4 points

134.

Lawvere: A categorical programming language with effects

github.com/jameshaydon

5 years ago

3 points

135.

A Re-Implementation of TeX in Rust

github.com/xymostech

7 years ago

3 points

136.

Sheeple: Cheeky Protoypes for Common Lisp

github.com/sykopomp

12 years ago

1 points

137.

Show HN: Claw Diary – Show HN: Visualize what your AI agent does every day

github.com/0xbeekeeper

4 months ago

1 points

138.

SoniControl – ultrasonic firewall against acoustic tracking

github.com/fhstp

7 years ago

1 points

139.

Create-Pastel-App: Build CLI Apps Using React

github.com/vadimdemedes

7 years ago

1 points

140.

Advent of Code in Lean

github.com/cipher1024

7 years ago

1 points