Search: github.com/loggi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

OpenArchiver: Open-source platform for email archiving

github.com/LogicLabs-OU

10 months ago

4 points

662.

Logic Solver: a boolean satisfiability solver

github.com/meteor

3 years ago

4 points

663.

Logica is a logic programming language that compiles to StandardSQL

github.com/EvgSkv

5 years ago

4 points

664.

The Hitchhiker’s Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

4 points

665.

Aeron: Low-latency, reliable networking over UDP

github.com/real-logic

5 years ago

fearthetelomere

3 points

666.

Show HN: iOS Logistics app built on functional architecture (production-ready)

github.com/hypertrack

6 years ago

3 points

667.

Show HN: System to manage ad-hoc SQL queries within small organizations

github.com/LogicSoftInd

11 years ago

3 points

668.

Show HN: I built a text to JSON local tool in GitHub Spark

a year ago

3 points

669.

The Old GitHub Feed

3 years ago

3 points

670.

Simple Binary Encoding (SBE) – High Performance Message Codec

github.com/real-logic

8 years ago

3 points

671.

Simple Binary Encoding (SBE)

github.com/real-logic

13 years ago

3 points

672.

Project Brain2.0–curated project memory for ClaudeCode(+ any file-reading agent)

11 days ago

3 points

673.

[Show HN] DCPU-16 implemented in Logisim

github.com/harwoodr

14 years ago

3 points

674.

GitHub's Old Chronoligcal Feed

3 years ago

3 points

675.

Simple Binary Encoding (SBE) – High Performance Message Codec

github.com/real-logic

3 years ago

3 points

676.

Show HN: Feature Store and Model Registry; Hopsworks 3.0

github.com/logicalclocks

4 years ago

3 points

677.

A health check library in Clojure for sync / async health checks

github.com/logicblocks

5 years ago

3 points

678.

Intro to Logic Programming with Clojure

github.com/frenchy64

15 years ago

3 points

679.

Open Source Behavior Tree for Professional Robotic Development

github.com/Autonomous-Logistics

6 years ago

3 points

680.

LoginCritter: An animated avatar that responds to text field interactions

github.com/cgoldsby

8 years ago

3 points

681.

CMake,SystemVerilog and SystemC utilities for building and testing FPGA projects

github.com/tymonx

8 years ago

3 points

682.

Tell HN: GitHub Apps – Private key is not private

2 months ago

2 points

683.

GitHub Copilot Settings

4 years ago

2 points

684.

Show HN: A spreadsheet where your code never reads B7

github.com/logisky

9 days ago

2 points

685.

Logicrepo – Define business logic in YAML, test it in CI

github.com/alexdrimbe

6 months ago

2 points

686.

Built a tool because I hate reading commits – criticize me

2 years ago

2 points

687.

Vulnerability scanner targeting logic bugs

github.com/Pattyboi101

4 months ago

2 points

688.

XTide86 a tmux and nvim powered terminal IDE

github.com/logicmagix

a year ago

2 points

689.

logicanalyzer: 24-120 channel, 400Msps Pico 2-based logic analyzer

github.com/gusmanb

a year ago

2 points

690.

Set Up Your Own Coding Practice Server

github.com/williamlung

2 years ago

2 points