Search: github.com/LogIN- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems

github.com/ricardobcl

11 years ago

16 points

812.

Logic Production Systems runtime implemented in JavaScript

github.com/mauris

8 years ago

14 points

813.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript

github.com/Dino-Nuggies45

a year ago

12 points

814.

Show HN: Tiny Hoare logic verifier using SMT

github.com/namin

a year ago

12 points

815.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining

github.com/onestardao

a year ago

11 points

816.

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

github.com/ElSolem

a year ago

11 points

817.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic

github.com/Dino-Nuggies45

a year ago

10 points

818.

Show HN: I wrote a Haskell program that does my intro logic homework

github.com/JacksonGariety

10 years ago

9 points

819.

Show HN: Microscope, logically group validation/filter regexes

github.com/clotheshorse

12 years ago

9 points

820.

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

3 years ago

9 points

821.

Folia regionizing logic – Multi-threading Minecraft by splitting it into regions

gist.github.com

3 years ago

8 points

822.

Show HN: DeepMind's Neural Arithmetic Logic Units in PyTorch

github.com/kevinzakka

8 years ago

8 points

823.

Show HN: An ORM that understands your business logic

github.com/neuledge

3 years ago

7 points

824.

Show HN: pyretry - separate retry logic from business logic

github.com/bobbyrenwick

13 years ago

7 points

825.

A16-FuseBypass: Debug Logic Enabled on Production Apple Silicon

github.com/JGoyd

10 months ago

7 points

826.

Show HN: Rocket – a language that lets you focus on your business logic

github.com/camullen

8 years ago

7 points

827.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall"

github.com/deramazesaa-web

6 months ago

7 points

828.

Purely Functional, Declarative Game Logic Using Reactive Programming

github.com/leonidas

14 years ago

7 points

829.

Logisim-evolution: Digital logic designer and simulator

github.com/reds-heig

8 years ago

7 points

830.

Native iOS Surveys from json definitions. Many question types, skip logic etc.

github.com/recoveryrecord

9 years ago

6 points

831.

Julog.jl – A Julia package for Prolog-style logic programming

github.com/ztangent

3 years ago

guilherme-puida

6 points

832.

Mustache: Logic-less templates

mustache.github.com

16 years ago

6 points

833.

Logic Theorist Reanimated in IPL-V

github.com/jeffshrager

4 months ago

5 points

834.

Queue-flow: Chainable logic built on named (or not) queues in Javascript

dfellis.github.com

13 years ago

5 points

835.

Self Media Decoder: media files that carry their own decoder logic (WASM)

github.com/jesusluque

6 months ago

5 points

836.

Logical Replication committed in PostgreSQL

github.com/postgres

9 years ago

5 points

837.

Cheryl's Birthday puzzle solved using Clojure's core.logic

github.com/raj-kesavan

11 years ago

4 points

838.

A discrete-logic solution to the Three-Body Problem (99% compute saving)

github.com/alikamp

3 months ago

4 points

839.

Show HN: Arbor – A 3D Logic Forest for your codebase (Rust/Flutter)

github.com/Anandb71

6 months ago

4 points

840.

Ask HN: What if emotion could be written in logic?

github.com/contribution-protocol

a year ago

4 points