Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Ask HN: How do you sync apps and settings across multiple machines

1 point

6 years ago

632.

Show HN: Sci-TEM – Matching scientists' technical research issues with experts

1 point

6 years ago

633.

Ask HN: Acceptable CSRF Token Lifecycle?

1 point

6 years ago

634.

Show HN: Minimal Viable social sharing

1 point

7 years ago

635.

Show HN: Daptin: A server-based database hybrid web application framework

1 point

8 years ago

636.

Another Leetcode CLI: Unix flavor, searchable, HTML reports, syntax highlight

1 point

9 years ago

637.

Crane v1.0.6 releaed, a docker control panel based on latest docker

1 point

10 years ago

638.

Crane v1.0.5 release

1 point

10 years ago

639.

Show HN: Need feedback on my first Node.js application

1 point

10 years ago

640.

Looking for collab on Boilerplate for React/Relay/Express/Passport app

1 point

10 years ago

641.

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

9 points

10 months ago

642.

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

3 points

3 months ago

643.

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

3 points

a year ago

644.

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

2 points

5 months ago

645.

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

2 points

4 months ago

646.

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

2 points

7 months ago

647.

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

2 points

10 months ago

648.

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

1 point

3 months ago

649.

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

1 point

4 months ago

650.

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

209 points

10 years ago

651.

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

205 points

4 years ago

652.

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

177 points

6 years ago

653.

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

144 points

12 years ago

654.

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

121 points

11 years ago

655.

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

78 points

10 years ago

656.

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

67 points

6 years ago

657.

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

29 points

3 years ago

658.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (github.com/dmoews)

26 points

a month ago

659.

Logic Paint: A transistor-level logic simulator (github.com/AThilenius)

19 points

3 years ago

660.

Show HN: Dashboard tracking all GitHub PRs and analyzing Code Agent activity (github.com/logic-star-ai)

10 points

a year ago