Search: github.com/loggi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

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

172 points

6 years ago

902.

Plaid Deletes GitHub Issue Exposing Imitation of Bank Login UIs

169 points

7 years ago

903.

Logins are Dead, and Mobile Killed Them (github.com/harryf)

163 points

14 years ago

904.

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

151 points

pgedge_postgres

8 months ago

905.

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

145 points

6 years ago

906.

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

136 points

7 years ago

907.

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

131 points

5 years ago

908.

Show HN: Nanosecond C message logger

131 points

7 years ago

909.

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

110 points

2 years ago

910.

Unshackle: A tool to bypass Windows and Linux password logins (github.com/Fadi002)

102 points

3 years ago

911.

Changes sshd port every 30 seconds, using Two Factor Auth to login (github.com/benjojo)

96 points

10 years ago

912.

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

95 points

22 days ago

913.

Python Logic Simulation Library (github.com/cjdrake)

93 points

mediisoccuspupa

2 years ago

914.

IRC Logger with fluid web interface, search function, and live streaming (2019) (github.com/whitequark)

90 points

6 years ago

915.

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

87 points

4 years ago

916.

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

85 points

5 years ago

917.

Show HN: BOOLR, a digital logic simulator

78 points

9 years ago

918.

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

77 points

9 months ago

919.

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

76 points

2 years ago

920.

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

73 points

4 years ago

921.

Login.gov encryption is badly designed (gist.github.com)

67 points

9 years ago

922.

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

66 points

10 years ago

923.

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

63 points

7 years ago

924.

SQLite schema boilerplate for user accounts, roles, logins and auth tokens (github.com/membership)

58 points

10 years ago

925.

ΜLA: Micro Logic Analyzer (github.com/dotcypress)

58 points

3 years ago

926.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

927.

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

52 points

7 years ago

928.

Show HN: SHDL – A minimal hardware description language built from logic gates (github.com/rafa-rrayes)

48 points

4 months ago

929.

PDEP-13: The Pandas Logical Type System (github.com/pandas-dev)

46 points

2 years ago

930.

Cosyan – Transactional RDBMS with multi-table constraint logic (github.com/gsvigruha)

44 points

8 years ago