Search: github.com/loggi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Annotated implementation of microKanren: an embeddable logic language

github.com/ashton314

4 years ago

73 points

932.

Login.gov encryption is badly designed

gist.github.com

9 years ago

67 points

933.

BeagleLogic: A BeagleBone Based 14-channel 100Msps Logic Analyzer

github.com/abhishek-kakkar

10 years ago

66 points

934.

Tamgu, a functional, imperative, logical programming language

github.com/naver

7 years ago

63 points

935.

SQLite schema boilerplate for user accounts, roles, logins and auth tokens

github.com/membership

10 years ago

58 points

936.

ΜLA: Micro Logic Analyzer

github.com/dotcypress

3 years ago

58 points

937.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

938.

The Mercury logic programming system

github.com/Mercury-Language

7 years ago

52 points

939.

Show HN: SHDL – A minimal hardware description language built from logic gates

github.com/rafa-rrayes

5 months ago

48 points

940.

PDEP-13: The Pandas Logical Type System

github.com/pandas-dev

2 years ago

46 points

941.

Cosyan – Transactional RDBMS with multi-table constraint logic

github.com/gsvigruha

8 years ago

44 points

942.

Show HN: WIP NandToTetris Emulator in pure C – logic gates to ALU to CPU to PC

github.com/con-dog

a year ago

43 points

943.

Removing Quora, Pintererst, Instagram and other login-walls with uBlockOrigin

6 years ago

41 points

944.

Generic engine to evaluate logical circuits on homomorphic encryption

github.com/virtualsecureplatform

5 years ago

38 points

945.

Show HN: PyNeuraLogic: Python Differentiable Logic Programs

github.com/LukasZahradnik

4 years ago

37 points

946.

Jellyfin dev: Apple charged $100, then decided to ban me. Hadn't even logged in.

github.com/jellyfin

4 years ago

36 points

947.

Ask HN: How to call functions and do basic math in Clojure and core.logic?

gist.github.com

10 years ago

36 points

948.

Mycroft – A distributed declarative logic language

github.com/enkiv2

11 years ago

27 points

949.

PgDog is a transaction pooler logical replication manager can shard PostgreSQL

github.com/pgdogdev

a year ago

27 points

950.

Aristotle – Ruby business logic engine, inspired by Cucumber

github.com/apprentus

12 years ago

26 points

951.

Show HN: federated login for Common Lisp webapps

github.com/avodonosov

13 years ago

24 points

952.

Libg203lightsync: Lib for interacting with the Logitech G203 LS mouse

github.com/carlos-menezes

2 years ago

23 points

953.

Show HN: Use an EEPROM as Programmable Logic

github.com/DusteDdk

3 years ago

22 points

954.

Terminal emulator requires SSO login and transfers telemetry associated to email

github.com/warpdotdev

4 years ago

22 points

955.

Carnap – A formal logic framework that runs in the browser

github.com/Carnap

4 years ago

22 points

956.

Show HN: I've made an easy to extend and flexible JavaScript logger

github.com/inshinrei

10 months ago

17 points

957.

DCI and Decoupling Business Logic from Ruby on Rails Part 1

lancecarlson.github.com

14 years ago

17 points

958.

Show HN: Sangati, a logical consistency checker for data

github.com/alienfluid

9 years ago

17 points

959.

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

gist.github.com

a year ago

17 points

960.

Show HN: Entish: A language for implementing RPG rules in formal logic

github.com/etherealmachine

5 years ago

etherealmachine

17 points