Search: github.com/logical42 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Logical42/agnostic-frontend · GitHub

github.com/logical42

14 years ago

2 points

2.

N64 emulator written in pure ES6 JavaScript

github.com/hulkholden

3 years ago

3 points

3.

N64 Emulator in JavaScript

github.com/hulkholden

3 years ago

2 points

4.

N64 JavaScript Emulator

github.com/hulkholden

3 years ago

1 points

5.

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

github.com/blanchette

6 years ago

177 points

6.

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

github.com/logicalparadox

14 years ago

7 points

7.

The Hitchhiker’s Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

4 points

8.

Show HN: Feature Store and Model Registry; Hopsworks 3.0

github.com/logicalclocks

4 years ago

3 points

9.

Show HN: AI-Powered Zettelkasten Using Pinecone and Claude MCP

github.com/logicalicy

9 months ago

2 points

10.

Show HN: Advent of Code 2022 (only first eight in different langs)

github.com/logicalicy

3 years ago

2 points

11.

Show HN: Postgres Logical Replication with Rust

github.com/seddonm1

4 years ago

2 points

12.

Awesome-product-roadmaps: Collection of product roadmaps

github.com/logicalicy

7 years ago

2 points

13.

Flowbetween: Tool for creating animations with a custom GUI in Rust

github.com/Logicalshift

5 years ago

1 points

14.

Hopworks: MLOps platform with Python-centric Feature Store

github.com/logicalclocks

4 years ago

1 points

15.

Postgres Logical Redplication Slot Invalidations in 16.9 and 17.5

a year ago

1 points

16.

Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training

github.com/alainnothere

3 months ago

265 points

17.

Show HN: Open source, logical multi-master PostgreSQL replication

github.com/pgEdge

8 months ago

pgedge_postgres

151 points

18.

Pgcat – Enhanced PostgreSQL logical replication

github.com/kingluo

6 years ago

145 points

19.

Wyng-backup: Fast Time Machine-like backups for logical volumes

github.com/tasket

5 years ago

85 points

20.

Pgstream: Postgres streaming logical replication with DDL changes

github.com/xataio

9 months ago

77 points

21.

Tamgu, a functional, imperative, logical programming language

github.com/naver

7 years ago

63 points

22.

PDEP-13: The Pandas Logical Type System

github.com/pandas-dev

2 years ago

46 points

23.

Generic engine to evaluate logical circuits on homomorphic encryption

github.com/virtualsecureplatform

5 years ago

38 points

24.

PgDog is a transaction pooler logical replication manager can shard PostgreSQL

github.com/pgdogdev

a year ago

27 points

25.

Show HN: Sangati, a logical consistency checker for data

github.com/alienfluid

9 years ago

17 points

26.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems

github.com/ricardobcl

11 years ago

16 points

27.

Show HN: Microscope, logically group validation/filter regexes

github.com/clotheshorse

12 years ago

9 points

28.

Show HN: I built a Chrome extension that detects logical fallacies using GPT-4

3 years ago

9 points

29.

Logical Replication committed in PostgreSQL

github.com/postgres

9 years ago

5 points

30.

Show HN: Experimental Postgres-to-SQLite Sync via Logical Replication

github.com/PgOutput2Json

a year ago

4 points