Search: github.com/LogIN- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

177 points

662.

After a year of struggling, my startup is now open source

github.com/ChrisZieba

13 years ago

144 points

663.

ARMv7 vs. x86-64: Pathfinding benchmark of C++, D, Go, Nim, Ocaml, and more

github.com/logicchains

12 years ago

121 points

664.

Aeron: Efficient reliable UDP unicast, UDP multicast, and IPC message transport

github.com/real-logic

10 years ago

78 points

665.

Show HN: 8-bit CPU simulator in C

github.com/reutiteuti

6 years ago

67 points

666.

Show HN: Open-source in-browser code editor/executor with REPL, 10+ languages

github.com/logicboard

3 years ago

29 points

667.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

github.com/dmoews

a month ago

26 points

668.

Logic Paint: A transistor-level logic simulator

github.com/AThilenius

3 years ago

19 points

669.

Show HN: Dashboard tracking all GitHub PRs and analyzing Code Agent activity

github.com/logic-star-ai

a year ago

10 points

670.

A caffeine driven, simplistic approach to benchmarking Node.js code.

github.com/logicalparadox

14 years ago

7 points

671.

Show HN: Embedding a Prolog-like logic programming language in JavasScript

github.com/xieyuheng

5 years ago

7 points

672.

Aeron: Efficient reliable unicast and multicast transport protocol

github.com/real-logic

12 years ago

6 points

673.

Introduction to Logic Programming with Clojure

github.com/frenchy64

13 years ago

5 points

674.

Show HN: Open-source in-browser code editor and REPL in 10+ languages

github.com/logicboard

3 years ago

5 points

675.

Show HN: LogicPearl – Synthesizing deterministic executable logic from traces

github.com/LogicPearlHQ

2 months ago

4 points

676.

OpenArchiver: Open-source platform for email archiving

github.com/LogicLabs-OU

10 months ago

4 points

677.

Logic Solver: a boolean satisfiability solver

github.com/meteor

3 years ago

4 points

678.

Logica is a logic programming language that compiles to StandardSQL

github.com/EvgSkv

5 years ago

4 points

679.

The Hitchhiker’s Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

4 points

680.

Aeron: Low-latency, reliable networking over UDP

github.com/real-logic

5 years ago

fearthetelomere

3 points

681.

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

github.com/LogicSoftInd

11 years ago

3 points

682.

Simple Binary Encoding (SBE) – High Performance Message Codec

github.com/real-logic

8 years ago

3 points

683.

Simple Binary Encoding (SBE)

github.com/real-logic

13 years ago

3 points

684.

Simple Binary Encoding (SBE) – High Performance Message Codec

github.com/real-logic

3 years ago

3 points

685.

Show HN: Feature Store and Model Registry; Hopsworks 3.0

github.com/logicalclocks

4 years ago

3 points

686.

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

github.com/logicblocks

5 years ago

3 points

687.

Intro to Logic Programming with Clojure

github.com/frenchy64

15 years ago

3 points

688.

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

github.com/tymonx

8 years ago

3 points

689.

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

github.com/alexdrimbe

6 months ago

2 points

690.

Vulnerability scanner targeting logic bugs

github.com/Pattyboi101

4 months ago

2 points