Search: github.com/LogIN- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming

github.com/preston

6 years ago

2 points

902.

Rulog – logic programming system for ruby

github.com/jimwise

11 years ago

2 points

903.

PostgreSQL 9.4 logical decoder plugin to deliver data as Protocol Buffers

github.com/xstevens

12 years ago

2 points

904.

New Logical Language Initiative

github.com/LogosInitiative

12 years ago

2 points

905.

Lergic: An embedded datalog-like logic programming DSL for Erlang.

github.com/JoeOsborn

13 years ago

2 points

906.

Complex .ssh/config? Using Chef/Puppet? Break them into small logical chunks.

github.com/zippykid

13 years ago

2 points

907.

Cascalog - Logic Programming in Hadoop with Clojure

alexrobbins.github.com

13 years ago

2 points

908.

Caledon 2.0: A dependently typed metaprogramming logic language

github.com/mmirman

13 years ago

2 points

909.

Elevate: a RubyMotion gem that isolates your app logic

github.com/mattgreen

13 years ago

2 points

910.

Offline ML-based audio stabilizer (CEPA Logic)

github.com/AdBusterOfficial

3 days ago

2 points

911.

Flowscape – A Water Logic Tool

github.com/xraid

11 days ago

2 points

912.

I built a contextual audio decision engine to stop loud TV ads (CEPA Logic)

github.com/AdBusterOfficial

11 days ago

2 points

913.

LinkerDotLang an experimental language separating logic blocks from main linker

github.com/Graght

14 days ago

2 points

914.

Show HN: I Built an LLM Engine, That Test LLM on Boolean Logic

github.com/Shrivastava-Aditya

17 days ago

2 points

915.

NELA – Net-Based Executable Logic Automaton

github.com/heikowagner

a month ago

2 points

916.

Improved testing logic in od.nvim, added a serializers module to ocote

2 months ago

2 points

917.

Show HN: EDDI – Multi-agent AI engine where agent logic lives in JSON, not code

github.com/labsai

2 months ago

2 points

918.

Tax Logic Evaluation with Prolog

github.com/mthom

3 months ago

2 points

919.

Show HN: Chained apples, or apfels, for more logic

github.com/randomm

3 months ago

2 points

920.

Emulating Petzold's Code BCD decoder -logic gates are persistent tasks on a VM

3 months ago

2 points

921.

Show HN:Logic gates as persistent stateful tasks – a BCD decoder built on a VM

4 months ago

2 points

922.

Show HN: Infinity Equilibrium Protocol – AI alignment logic framework

github.com/Globy74

4 months ago

2 points

923.

Show HN: Agentic Gatekeeper – AI pre-commit hook to auto-patch logic errors

github.com/revanthpobala

4 months ago

2 points

924.

Critical Logic Bypass "Intended Behavior" Full System Access

4 months ago

2 points

925.

Show HN: Sovereign Suite – A Recursive Logic Framework for AI Governance

github.com/holland202

4 months ago

2 points

926.

CloudNativePG's missing logical layer: Manage Postgres via a K8s Operator

github.com/aboutbits

5 months ago

2 points

927.

Show HN: Project RCPC – A community network for distributed logic and A

github.com/JTRSoftware

5 months ago

2 points

928.

Show HN: Shunting – train logic puzzles for young kids

lostmsu.github.io

5 months ago

2 points

929.

Awesome: Logical Programming Language

github.com/matan-h

6 months ago

2 points

930.

Show HN: Twisted Logic – an experiment in AI-driven moral paradox stories

twisted-logic.vercel.app

6 months ago

2 points