Search: github.com/logv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

2 points

7 months ago

32.

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

2 points

10 months ago

33.

Show HN: Log Manager – Real-time log viewer over SSH (github.com/bodyast)

2 points

a year ago

34.

Show HN: Simplifying Dev-Ops for Docker

2 points

a year ago

35.

Tell HN: Log4j Updates from Sans Daily Network Security Podcast (Stormcast)

2 points

4 years ago

36.

Show HN: I wrote a Logo interpreter using JavaScript

1 point

2 years ago

37.

Show HN: LOGEO, a web app based on Spanish language Twitter data

1 point

7 years ago

38.

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

1 point

3 months ago

39.

Show HN: Logtide – Open-source log management and SIEM for European SMBs (github.com/logtide-dev)

1 point

4 months ago

40.

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

1 point

4 months ago

41.

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

1 point

4 months ago

42.

Show HN: LogCost – map logging cost to specific log lines (github.com/ubermorgenland)

1 point

6 months ago

43.

Show HN: LogLens Playground – Query structured logs in browser(WASM,client-side) (getloglens.com)

1 point

6 months ago

44.

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

1 point

7 months ago

45.

Show HN: LogSieve – A Client-Side Log Viewer (No Back End, No Build Step) (notesofcliff.github.io)

1 point

7 months ago

46.

Show HN: Log2fluent – send logs to Fluent over TCP/Unix sockets (github.com/ccampo133)

1 point

2 years ago

47.

Show HN: Logos Shift Cloud – automatically finetune and replace expensive LLM (api.bohita.com)

1 point

3 years ago

48.

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

211 points

2 years ago

49.

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

209 points

10 years ago

50.

Logseq – privacy-first, open-source knowledge sharing and management platform (github.com/logseq)

209 points

6 years ago

51.

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

205 points

4 years ago

52.

Web login using SSH (github.com/altitude)

203 points

11 years ago

53.

Rosalind: A genomics toolkit in Rust running whole-genome pipelines on a laptop (github.com/logannye)

185 points

15 days ago

54.

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

177 points

6 years ago

55.

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

171 points

6 years ago

56.

Log4jscanner (github.com/google)

156 points

4 years ago

57.

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

144 points

12 years ago

58.

Kanren – Logic Programming in Python (github.com/logpy)

136 points

7 years ago

59.

Show HN: Piping logs, visualizing in a web app – just suffix "| npx logscreen" (github.com/soorajshankar)

128 points

2 years ago

60.

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

125 points

8 years ago