Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
661.
A caffeine driven, simplistic approach to benchmarking Node.js code. (github.com/logicalparadox)
7 points
vesln
14 years ago
3 comments
662.
Show HN: Embedding a Prolog-like logic programming language in JavasScript (github.com/xieyuheng)
7 points
xyheme
4 years ago
discuss
663.
Aeron: Efficient reliable unicast and multicast transport protocol (github.com/real-logic)
6 points
pron
12 years ago
discuss
664.
Introduction to Logic Programming with Clojure (github.com/frenchy64)
5 points
DanielRibeiro
13 years ago
discuss
665.
Show HN: Open-source in-browser code editor and REPL in 10+ languages (github.com/logicboard)
5 points
logicboard
3 years ago
discuss
666.
Show HN: LogicPearl – Synthesizing deterministic executable logic from traces (github.com/LogicPearlHQ)
4 points
kenerwin88
2 months ago
4 comments
667.
OpenArchiver: Open-source platform for email archiving (github.com/LogicLabs-OU)
4 points
thunderbong
9 months ago
discuss
668.
Logic Solver: a boolean satisfiability solver (github.com/meteor)
4 points
davidbarker
3 years ago
discuss
669.
Logica is a logic programming language that compiles to StandardSQL (github.com/EvgSkv)
4 points
tomerbd
5 years ago
discuss
670.
The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)
4 points
mathgenius
6 years ago
discuss
671.
Aeron: Low-latency, reliable networking over UDP (github.com/real-logic)
3 points
fearthetelomere
5 years ago
2 comments
672.
Show HN: System to manage ad-hoc SQL queries within small organizations (github.com/LogicSoftInd)
3 points
skun
11 years ago
1 comment
673.
Simple Binary Encoding (SBE) – High Performance Message Codec (github.com/real-logic)
3 points
mpweiher
8 years ago
1 comment
674.
Simple Binary Encoding (SBE) (github.com/real-logic)
3 points
AndrewBissell
12 years ago
discuss
675.
Simple Binary Encoding (SBE) – High Performance Message Codec (github.com/real-logic)
3 points
impish9208
3 years ago
discuss
676.
Show HN: Feature Store and Model Registry; Hopsworks 3.0 (github.com/logicalclocks)
3 points
LexSiga
4 years ago
discuss
677.
A health check library in Clojure for sync / async health checks (github.com/logicblocks)
3 points
Terretta
5 years ago
discuss
678.
Intro to Logic Programming with Clojure (github.com/frenchy64)
3 points
swannodette
15 years ago
discuss
679.
CMake,SystemVerilog and SystemC utilities for building and testing FPGA projects (github.com/tymonx)
3 points
tymonx
8 years ago
discuss
680.
Logicrepo – Define business logic in YAML, test it in CI (github.com/alexdrimbe)
2 points
a_drimbe
5 months ago
2 comments
681.
Vulnerability scanner targeting logic bugs (github.com/Pattyboi101)
2 points
Oatcake21
4 months ago
1 comment
682.
XTide86 a tmux and nvim powered terminal IDE (github.com/logicmagix)
2 points
logicmagix
a year ago
1 comment
683.
logicanalyzer: 24-120 channel, 400Msps Pico 2-based logic analyzer (github.com/gusmanb)
2 points
_Microft
a year ago
1 comment
684.
Set Up Your Own Coding Practice Server (github.com/williamlung)
2 points
williamlung
2 years ago
1 comment
685.
FizzBuzz implemented with Clojure's core.logic (github.com/jballanc)
2 points
jballanc
12 years ago
discuss
686.
LogicGrowsOnTrees (github.com/gcross)
2 points
mbrubeck
12 years ago
discuss
687.
Show HN: A CLI That Compiles React, Next.js, TS and Vue for LLMs (github.com/LogicStamp)
2 points
AmiteK
5 months ago
discuss
688.
Show HN: AI-Powered Zettelkasten Using Pinecone and Claude MCP (github.com/logicalicy)
2 points
mhay
8 months ago
discuss
689.
Logical42/agnostic-frontend · GitHub (github.com/logical42)
2 points
logical42
14 years ago
discuss
690.
Show HN: Generate Logic Pro Markers from video automatically using AI (github.com/afhverjuekki)
2 points
jarmitage
a year ago
discuss
More