Search: github.com/loggi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

GitHub something is missing today?

1 point

10 years ago

602.

Show HN: Logira – eBPF runtime auditing for AI agent runs (github.com/melonattacker)

26 points

3 months ago

603.

Beta testers needed for open-source email forwarding service

12 points

6 years ago

604.

Show HN: An open-source email archiver with full-text search capabilities (openarchiver.com)

9 points

10 months ago

605.

Show HN: FileHunter, Self-hosted file manager that remembers disconnected drives (github.com/zen-logic)

3 points

3 months ago

606.

Logisland “Event Mining at scale”

3 points

7 years ago

607.

Show HN: Dashboard Tracking Autonomous Coding Agents on GitHub (insights.logicstar.ai)

3 points

a year ago

608.

Someone create a `sso-login` account in GitHub and create a GitHub.io page

3 points

8 years ago

609.

Show HN: Deterministic, machine-readable context for TypeScript codebases (github.com/LogicStamp)

2 points

5 months ago

610.

Show HN: Catching breaking interface changes in TypeScript refactors (AST-based) (github.com/LogicStamp)

2 points

4 months ago

611.

Show HN: TAUT2 – Mathematical logic exercises in the browser (taut-logic.com)

2 points

7 months ago

612.

Show HN: Open-source email archiving tool with full-text search (github.com/LogicLabs-OU)

2 points

10 months ago

613.

Show HN: Detect Drift in TypeScript codebases (github.com/LogicStamp)

1 point

3 months ago

614.

Show HN: Logifai – Auto-capture dev logs for AI coding assistants (github.com/tomoyaf)

1 point

4 months ago

615.

Show HN: Logic Mill – Visualizing and sorting codebases (slydite.com)

1 point

4 months ago

616.

Show HN: Fastmail.com masked email CLI tool (github.com/fredrmb)

1 point

7 months ago

617.

Show HN: JSON For You – Visualize JSON in graph or table views (github.com/loggerhead)

211 points

2 years ago

618.

LogicJS adds logic programming to JavaScript (github.com/mcsoto)

209 points

10 years ago

619.

Raspberry Pico-based 100-Msps logic analyzer (github.com/gusmanb)

205 points

4 years ago

620.

Web login using SSH (github.com/altitude)

203 points

11 years ago

621.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

622.

Loginsrv: JWT login microservice with back ends like OAuth2, Google, GitHub (github.com/tarent)

171 points

6 years ago

623.

After a year of struggling, my startup is now open source (github.com/ChrisZieba)

144 points

12 years ago

624.

Login_duress: A BSD authentication module for duress passwords (github.com/jcs)

125 points

8 years ago

625.

ARMv7 vs. x86-64: Pathfinding benchmark of C++, D, Go, Nim, Ocaml, and more (github.com/logicchains)

121 points

11 years ago

626.

Logik: Open-source FPGA toolchain by Zero ASIC (github.com/zeroasiccorp)

120 points

2 years ago

627.

Aeron: Efficient reliable UDP unicast, UDP multicast, and IPC message transport (github.com/real-logic)

78 points

10 years ago

628.

Show HN: Shadowsocks-rust – A fast SOCKSv5 proxy in Rust (github.com/loggerhead)

68 points

9 years ago

629.

Show HN: 8-bit CPU simulator in C (github.com/reutiteuti)

67 points

6 years ago

630.

Show HN: Open-source in-browser code editor/executor with REPL, 10+ languages (github.com/logicboard)

29 points

3 years ago