Search: github.com/logv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: A Clojure implementation of logic programming language in SICP (github.com/jdormit)

56 points

7 years ago

512.

Show HN: Automatically interpret and validate nested natural logic arguments (github.com/ParhamP)

53 points

9 years ago

513.

Tool for Euclidean geometry aware of logic (github.com/mirefek)

50 points

4 years ago

514.

Show HN: iOS Login Page (github.com/realpaliy)

46 points

6 years ago

515.

Show HN: MailgunLogger (github.com/jackjoe)

38 points

6 years ago

516.

Rpi-logic-analyzer: a simple stand-alone logic analyzer (github.com/osnr)

37 points

11 years ago

517.

Show HN: Simple logger and debugger for Go programs (github.com/apsdehal)

32 points

12 years ago

518.

Forced Game of Minesweeper on Login (github.com/OGoodness)

32 points

5 years ago

519.

CompactLog – Solving CT Scalability with LSM-Trees (github.com/Barre)

30 points

a year ago

520.

Digital Logic Design: A high-level overview (github.com/PedramPejman)

20 points

10 years ago

521.

Log4j overview related software (NCSC-NL) (github.com/NCSC-NL)

19 points

4 years ago

522.

Show HN: I built a command line ASCII logo SVG generator for laser cutting (github.com/ykhli)

14 points

a year ago

523.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)

10 points

5 months ago

524.

Show HN: Periodic element-like logo generator (github.com/reddec)

8 points

6 years ago

525.

Show HN: Realtime logging for `now` and Node.js servers (github.com/berzniz)

8 points

9 years ago

526.

A logger for Go SQL database driver without modifying existing stdlib usage (github.com/simukti)

7 points

4 years ago

527.

Show HN: An open source clean logs tool (github.com/Onboardbase)

7 points

2 years ago

528.

Show HN: Caps-log (Captain's log) – A small TUI journaling tool (github.com/NikolaDucak)

7 points

2 years ago

529.

Logisim-evolution: Digital logic designer and simulator (github.com/reds-heig)

7 points

8 years ago

530.

Run ChromeOS as a window manager in Ubuntu (github.com/dz0ny)

6 points

13 years ago

531.

Show HN: Nginx logging to ZeroMQ (github.com/sapo)

6 points

11 years ago

532.

Show HN: Social Login Rails- GitHub (github.com/mohitjain)

6 points

12 years ago

533.

Show HN: Cloudwatch Logs MCP Server (github.com/serkanh)

6 points

a year ago

534.

Show HN: Open source Rails + Turbo Native App in the App Store (github.com/joemasilotti)

6 points

2 years ago

535.

Show HN: Elixir Back end Logger for Logentries, online log collation service (github.com/sysdia-solutions)

6 points

10 years ago

536.

Ssl_logger: Decrypts and Logs a Process's SSL Traffic on Linux and MacOS (github.com/google)

5 points

9 years ago

537.

Show HN: Logchain – Show HN: Logchain – A remote logging framework (github.com/adaptive-scale)

4 points

2 years ago

538.

Show HN: CompactLog - Solving CT Scalability with LSM-Trees (github.com/Barre)

4 points

a year ago

539.

Show HN: An unopinionated, lightweight, macro-based logging library (Scala) (github.com/buildo)

4 points

12 years ago

540.

Show HN: Certificate transparency log with LSM-tree based storage (github.com/Barre)

4 points

a year ago