Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Show HN: Go-rabbitmq, reconnection logic and sane defaults (github.com/wagslane)

2 points

4 years ago

932.

Extending Repair Workflows with Logic Programming (github.com/microsoft)

2 points

4 years ago

933.

WiRed Panda – Real-time logic gates simulator (github.com/GIBIS-UNIFESP)

2 points

6 years ago

934.

Logic gates simulation using Node EventEmitters (github.com/ahuth)

2 points

6 years ago

935.

Sqlancer: Detecting Logic Bugs in DBMS (github.com/sqlancer)

2 points

6 years ago

936.

Evaluating user-defined logical expressions, booleval C++17 library (github.com/m-peko)

2 points

6 years ago

937.

LA104 pocket logic analyser operating system (github.com/gabonator)

2 points

6 years ago

938.

Model Driver Development – Logic in Model Instead of Presenter (github.com/praslnx8)

2 points

7 years ago

939.

First logic theorem prover written in TypeScript (github.com/kkty)

2 points

7 years ago

940.

Automated theorem prover for first-order predicate logic written in TypeScript (github.com/kkty)

2 points

7 years ago

941.

Kea 1.0.0-RC.1 – extendable logic engine for React developers, built on redux (github.com/keajs)

2 points

7 years ago

942.

Show HN: Postgres Temporal Tables and Logical Replication

2 points

7 years ago

943.

Notional Documents: Propositional-Logic Document Creator in AngularJS (github.com/notionaldocuments)

2 points

7 years ago

944.

Logic Programming in Python (github.com/logpy)

2 points

8 years ago

945.

Write Sync. & Async. logic as single function in Python using syncit (github.com/shhaumb)

2 points

8 years ago

946.

A Game Theoretic Bandit Driven Approach to Pattern Recognition with Logic (github.com/cair)

2 points

8 years ago

947.

'You may not create any more Booleans – this is two-valued logic' (github.com/pharo-project)

2 points

8 years ago

948.

Logical fallacy ToS clause addition (github.com/github)

2 points

c-bayprogrammer

9 years ago

949.

Show HN: Logical Proof of an “Intelligent Creator” (gist.github.com)

2 points

10 years ago

950.

React App: Simplify routing and rendering logic in isomorphic or single-page app (github.com/kriasoft)

2 points

10 years ago

951.

An independent react Component that holds all its logic inside (github.com/gavriguy)

2 points

10 years ago

952.

Show HN: (WOP) Chess with logic, functionnal programming and context-free grammars (github.com/piotr-yuxuan)

2 points

10 years ago

953.

Basic thread logic based on condition variables in Poly/ML (gist.github.com)

2 points

10 years ago

954.

The logic to make data structures in C ANSI (github.com/ryukinix)

2 points

10 years ago

955.

unite + manage the world by a nat./logic. religion:reflect.,symmetry,1 datamodel (github.com/rene-tobner)

1 point

5 years ago

956.

[Ask HN] How to use clojure functions in core.logic?

1 point

10 years ago

957.

Show HN: Testing SQL logic without a real database

1 point

3 months ago

958.

Show HN: OpenClaw skill for nonprofit RBM logic models (ToC, indicators, M&E) (github.com/vassiliylakhonin)

1 point

4 months ago

959.

Show HN: DeepClause CLI – Compile Markdown specs into executable logic programs (github.com/deepclause)

1 point

4 months ago

960.

Show HN: XAI-style recursive FOL logic tree engine with GUI (2002) (treeofknowledge.eu)

1 point

5 months ago