Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Show HN: Supacrawler – lightweight web scraping API in Go (supacrawler.com)

1 point

8 months ago

752.

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

1 point

11 years ago

753.

Show HN: Sklad – Secure, offline-first snippet manager (Rust, Tauri v2) (github.com/Rench321)

22 points

4 months ago

754.

Show HN: I built a ride-hailing back end with microservices (github.com/richxcame)

2 points

7 months ago

755.

Project Lean – The $10B Singularity Architecture

2 points

2 months ago

756.

Go Package: Use Controllers with Gorilla

2 points

5 years ago

757.

Show HN: Ghost – Local-first agent that runs and auto-fixes Python tests (github.com/tripathiji1312)

1 point

6 months ago

758.

Show HN: Remixify – Find alternate versions of tracks in your Spotify playlists (remixify.xyz)

1 point

6 months ago

759.

Show HN: GitHub trends newsletter by star growth (email, RSS, and more) (github.com/mhadidg)

1 point

9 months ago

760.

Postgres Logical Redplication Slot Invalidations in 16.9 and 17.5

1 point

10 months ago

761.

Where the logic hides in rails apps (gammons.github.com)

66 points

13 years ago

762.

Composable Database Logic (github.com/DanielWaterworth)

1 point

15 years ago

763.

Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training (github.com/alainnothere)

265 points

3 months ago

764.

Vue RFC: Expose logic-related component options via function-based APIs instead (github.com/vuejs)

222 points

7 years ago

765.

SQLancer, a tool to automatically test DBMSs to find logic bugs (github.com/sqlancer)

172 points

6 years ago

766.

Show HN: Open source, logical multi-master PostgreSQL replication (github.com/pgEdge)

151 points

pgedge_postgres

8 months ago

767.

Pgcat – Enhanced PostgreSQL logical replication (github.com/kingluo)

145 points

6 years ago

768.

Kanren – Logic Programming in Python (github.com/logpy)

136 points

7 years ago

769.

A digital logic designer and circuit simulator (github.com/hneemann)

131 points

5 years ago

770.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

771.

The Mercury logic programming system (github.com/Mercury-Language)

95 points

21 days ago

772.

Python Logic Simulation Library (github.com/cjdrake)

93 points

mediisoccuspupa

2 years ago

773.

8088 PC XT Compatible Logic Board (github.com/homebrew8088)

87 points

4 years ago

774.

Wyng-backup: Fast Time Machine-like backups for logical volumes (github.com/tasket)

85 points

5 years ago

775.

Show HN: BOOLR, a digital logic simulator

78 points

9 years ago

776.

Pgstream: Postgres streaming logical replication with DDL changes (github.com/xataio)

77 points

9 months ago

777.

Mandala: A little plaground for testing pixel logic patterns (github.com/gingerbeardman)

76 points

2 years ago

778.

Annotated implementation of microKanren: an embeddable logic language (github.com/ashton314)

73 points

4 years ago

779.

BeagleLogic: A BeagleBone Based 14-channel 100Msps Logic Analyzer (github.com/abhishek-kakkar)

66 points

10 years ago

780.

Tamgu, a functional, imperative, logical programming language (github.com/naver)

63 points

7 years ago