Search: github.com/loggi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

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

26 points

a month ago

632.

Open Source Project Name Checker (github.com/LogIN-)

19 points

12 years ago

633.

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

19 points

3 years ago

634.

Show HN: Build your own location-aware logistics app in an hour (github.com/hypertrack)

17 points

6 years ago

635.

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

10 points

a year ago

636.

Dockerized, self-hosted email alias service (github.com/simple-login)

10 points

6 years ago

637.

Logitloom: Explore token trajectory trees on instruct and base models (github.com/vgel)

9 points

a year ago

638.

Show HN: Heart – High performance Lua web server (github.com/Hyperspace-Logistics)

8 points

5 years ago

639.

A caffeine driven, simplistic approach to benchmarking Node.js code. (github.com/logicalparadox)

7 points

14 years ago

640.

Show HN: Embedding a Prolog-like logic programming language in JavasScript (github.com/xieyuheng)

7 points

4 years ago

641.

Show HN: Logis – a searchable scientific log in your Git commit history (github.com/flywhl)

6 points

a year ago

642.

GitHub Copilot is free until August 22 (github.com)

6 points

4 years ago

643.

Aeron: Efficient reliable unicast and multicast transport protocol (github.com/real-logic)

6 points

12 years ago

644.

A selfhosted email alias service (github.com/simple-login)

6 points

4 years ago

645.

Open source and self-hostable email alias solution (github.com/simple-login)

6 points

6 years ago

646.

Show HN: logitall – Dumbtrace your entire app with console.logs() (github.com/elonvolo)

5 points

5 years ago

647.

Introduction to Logic Programming with Clojure (github.com/frenchy64)

5 points

13 years ago

648.

Show HN: Control Linux with a Logitech USB controller (github.com/madprops)

5 points

2 years ago

649.

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

5 points

3 years ago

650.

GitHub replaces dashbord feed with AI shit? (github.com)

4 points

9 months ago

651.

Show HN: LogicPearl – Synthesizing deterministic executable logic from traces (github.com/LogicPearlHQ)

4 points

2 months ago

652.

Show HN: Login Image Changer for Linux Mint (github.com/primaryobjects)

4 points

12 years ago

653.

OpenArchiver: Open-source platform for email archiving (github.com/LogicLabs-OU)

4 points

9 months ago

654.

Logic Solver: a boolean satisfiability solver (github.com/meteor)

4 points

3 years ago

655.

Logica is a logic programming language that compiles to StandardSQL (github.com/EvgSkv)

4 points

5 years ago

656.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

657.

Aeron: Low-latency, reliable networking over UDP (github.com/real-logic)

3 points

fearthetelomere

5 years ago

658.

Show HN: iOS Logistics app built on functional architecture (production-ready) (github.com/hypertrack)

3 points

6 years ago

659.

Show HN: System to manage ad-hoc SQL queries within small organizations (github.com/LogicSoftInd)

3 points

11 years ago

660.

Show HN: I built a text to JSON local tool in GitHub Spark (github.com)

3 points

a year ago