Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Folia regionizing logic – Multi-threading Minecraft by splitting it into regions (gist.github.com)

8 points

3 years ago

812.

Show HN: DeepMind's Neural Arithmetic Logic Units in PyTorch (github.com/kevinzakka)

8 points

8 years ago

813.

Show HN: An ORM that understands your business logic (github.com/neuledge)

7 points

3 years ago

814.

Show HN: pyretry - separate retry logic from business logic (github.com/bobbyrenwick)

7 points

13 years ago

815.

A16-FuseBypass: Debug Logic Enabled on Production Apple Silicon (github.com/JGoyd)

7 points

9 months ago

816.

Show HN: Rocket – a language that lets you focus on your business logic (github.com/camullen)

7 points

8 years ago

817.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall" (github.com/deramazesaa-web)

7 points

5 months ago

818.

Purely Functional, Declarative Game Logic Using Reactive Programming (github.com/leonidas)

7 points

14 years ago

819.

Logisim-evolution: Digital logic designer and simulator (github.com/reds-heig)

7 points

8 years ago

820.

Native iOS Surveys from json definitions. Many question types, skip logic etc. (github.com/recoveryrecord)

6 points

9 years ago

821.

Julog.jl – A Julia package for Prolog-style logic programming (github.com/ztangent)

6 points

guilherme-puida

3 years ago

822.

Mustache: Logic-less templates (mustache.github.com)

6 points

16 years ago

823.

Logic Theorist Reanimated in IPL-V (github.com/jeffshrager)

5 points

3 months ago

824.

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

5 points

13 years ago

825.

Self Media Decoder: media files that carry their own decoder logic (WASM) (github.com/jesusluque)

5 points

6 months ago

826.

Logical Replication committed in PostgreSQL (github.com/postgres)

5 points

9 years ago

827.

Cheryl's Birthday puzzle solved using Clojure's core.logic (github.com/raj-kesavan)

4 points

11 years ago

828.

A discrete-logic solution to the Three-Body Problem (99% compute saving) (github.com/alikamp)

4 points

2 months ago

829.

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

4 points

5 months ago

830.

Ask HN: What if emotion could be written in logic? (github.com/contribution-protocol)

4 points

10 months ago

831.

Show HN: Kumi – a portable, declarative, functional core for business logic (kumi-play-web.fly.dev)

4 points

7 months ago

832.

Logic Gates Implemented in Microsoft Paint (github.com/RRTogunov)

4 points

a year ago

833.

Show HN: Experimental Postgres-to-SQLite Sync via Logical Replication (github.com/PgOutput2Json)

4 points

a year ago

834.

Show HN: Implementing CPU Logic into LLMs (github.com/turing-machines)

4 points

2 years ago

835.

Aneris: Program logic for developing and verifying distributed systems (github.com/logsem)

4 points

4 years ago

836.

Show HN: Canrun – Rust logic programming library inspired by *Kanren (github.com/tgecho)

4 points

6 years ago

837.

History of Lambda-Calculus and Combinatory Logic (2006) [pdf] (github.com/aistrate)

4 points

8 years ago

838.

Show HN: Implementation of Hybrid Logical Clocks in Go (github.com/lafikl)

4 points

9 years ago

839.

Baikon – A DSL for building AI agents with readable logic (github.com/baikondev)

3 points

a year ago

840.

How to unite and manage the world by a natural/logical religion (github.com/rene-tobner)

3 points

5 years ago