Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

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

58 points

3 years ago

782.

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

54 points

5 years ago

783.

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

52 points

7 years ago

784.

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

48 points

4 months ago

785.

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

46 points

2 years ago

786.

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

44 points

8 years ago

787.

Show HN: WIP NandToTetris Emulator in pure C – logic gates to ALU to CPU to PC (github.com/con-dog)

43 points

a year ago

788.

Generic engine to evaluate logical circuits on homomorphic encryption (github.com/virtualsecureplatform)

38 points

5 years ago

789.

Show HN: PyNeuraLogic: Python Differentiable Logic Programs (github.com/LukasZahradnik)

37 points

4 years ago

790.

Ask HN: How to call functions and do basic math in Clojure and core.logic? (gist.github.com)

36 points

10 years ago

791.

Mycroft – A distributed declarative logic language (github.com/enkiv2)

27 points

11 years ago

792.

PgDog is a transaction pooler logical replication manager can shard PostgreSQL (github.com/pgdogdev)

27 points

a year ago

793.

Aristotle – Ruby business logic engine, inspired by Cucumber (github.com/apprentus)

26 points

12 years ago

794.

Show HN: Use an EEPROM as Programmable Logic (github.com/DusteDdk)

22 points

3 years ago

795.

Carnap – A formal logic framework that runs in the browser (github.com/Carnap)

22 points

4 years ago

796.

DCI and Decoupling Business Logic from Ruby on Rails Part 1 (lancecarlson.github.com)

17 points

14 years ago

797.

Show HN: Sangati, a logical consistency checker for data (github.com/alienfluid)

17 points

9 years ago

798.

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic (gist.github.com)

17 points

a year ago

799.

Show HN: Entish: A language for implementing RPG rules in formal logic (github.com/etherealmachine)

17 points

etherealmachine

5 years ago

800.

Flaw in GitHub OAuth logic allowed unrestricted access to private repositories

17 points

8 years ago

801.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems (github.com/ricardobcl)

16 points

11 years ago

802.

Logic Production Systems runtime implemented in JavaScript (github.com/mauris)

14 points

8 years ago

803.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript (github.com/Dino-Nuggies45)

12 points

a year ago

804.

Show HN: Tiny Hoare logic verifier using SMT (github.com/namin)

12 points

a year ago

805.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

806.

Show HN: AES-256 brute force using structured logic (UUIDs and xy = x/y rule) (github.com/ElSolem)

11 points

a year ago

807.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic (github.com/Dino-Nuggies45)

10 points

a year ago

808.

Show HN: I wrote a Haskell program that does my intro logic homework (github.com/JacksonGariety)

9 points

10 years ago

809.

Show HN: Microscope, logically group validation/filter regexes (github.com/clotheshorse)

9 points

12 years ago

810.

Show HN: I built a Chrome extension that detects logical fallacies using GPT-4 (twitter.com)

9 points

3 years ago