Search: github.com/LogIN- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Show HN: Kumi – a portable, declarative, functional core for business logic

kumi-play-web.fly.dev

8 months ago

4 points

842.

Logic Gates Implemented in Microsoft Paint

github.com/RRTogunov

a year ago

4 points

843.

Show HN: Experimental Postgres-to-SQLite Sync via Logical Replication

github.com/PgOutput2Json

a year ago

4 points

844.

Show HN: Implementing CPU Logic into LLMs

github.com/turing-machines

2 years ago

4 points

845.

Aneris: Program logic for developing and verifying distributed systems

github.com/logsem

4 years ago

4 points

846.

Show HN: Canrun – Rust logic programming library inspired by *Kanren

github.com/tgecho

6 years ago

4 points

847.

History of Lambda-Calculus and Combinatory Logic (2006) [pdf]

github.com/aistrate

8 years ago

4 points

848.

Show HN: Implementation of Hybrid Logical Clocks in Go

github.com/lafikl

9 years ago

4 points

849.

Baikon – A DSL for building AI agents with readable logic

github.com/baikondev

a year ago

3 points

850.

How to unite and manage the world by a natural/logical religion

github.com/rene-tobner

5 years ago

3 points

851.

Ask HN: How to test or proove logic programming?

10 years ago

3 points

852.

Detect logical fallacies in text using Haskell

github.com/amsa

11 years ago

3 points

853.

Al-1.0 – A lightweight attribution logging engine for transformers

github.com/RayFromBoston

16 hours ago

3 points

854.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

github.com/welltyped-systems

6 months ago

3 points

855.

Show HN: Mentals – How I Implemented CPU Logic into LLMs (Open-Source)

github.com/turing-machines

2 years ago

3 points

856.

Regression: Miscompilation due to bug in “mutable noalias” logic

github.com/rust-lang

5 years ago

3 points

857.

LuaPort: An erlang port for scripting application logic in lua (MIT; v1.0.0)

github.com/asciibeats

7 years ago

3 points

858.

Parsing packets Erlang style using core.logic

13 years ago

3 points

859.

Show HN: Zift – find authorization logic in your code

github.com/enforceauth

2 months ago

3 points

860.

Show HN: I built "Docker for code", isolate AI logic into semantic containers

4 months ago

3 points

861.

Show HN: Yori – Isolating AI Logic into "Semantic Containers" (Docker for Code)

4 months ago

3 points

862.

SQLite extension to synchronize data using PostgreSQL logical replication

github.com/litesql

8 months ago

3 points

863.

μLA: Micro Logic Analyzer for RP2040

github.com/dotcypress

8 months ago

3 points

864.

Take: Process file lines with a logic-based language

github.com/damianoazzolini

a year ago

3 points

865.

Show HN: Take – process file lines with a logic-like language

github.com/damianoazzolini

a year ago

3 points

866.

Sudoku in clojure/core.logic

gist.github.com

14 years ago

3 points

867.

ΜLA: Micro Logic Analyzer for RP2040

github.com/dotcypress

2 years ago

3 points

868.

Backbone refactoring: moving presentational logic out of the model

abernardes.github.com

14 years ago

3 points

869.

BlendSQL: Unified dialect for orchestrating SQLite logic and LLM reasoning

github.com/parkervg

2 years ago

3 points

870.

Kanren: An extensible, lightweight relational/logic programming DSL in Python

github.com/pythological

2 years ago

3 points