Search: github.com/LogIN- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

The Mercury logic programming system

github.com/Mercury-Language

a month ago

95 points

782.

Python Logic Simulation Library

github.com/cjdrake

2 years ago

mediisoccuspupa

93 points

783.

8088 PC XT Compatible Logic Board

github.com/homebrew8088

4 years ago

87 points

784.

Wyng-backup: Fast Time Machine-like backups for logical volumes

github.com/tasket

5 years ago

85 points

785.

Show HN: BOOLR, a digital logic simulator

9 years ago

78 points

786.

Pgstream: Postgres streaming logical replication with DDL changes

github.com/xataio

9 months ago

77 points

787.

Mandala: A little plaground for testing pixel logic patterns

github.com/gingerbeardman

2 years ago

76 points

788.

Annotated implementation of microKanren: an embeddable logic language

github.com/ashton314

4 years ago

73 points

789.

BeagleLogic: A BeagleBone Based 14-channel 100Msps Logic Analyzer

github.com/abhishek-kakkar

10 years ago

66 points

790.

Tamgu, a functional, imperative, logical programming language

github.com/naver

7 years ago

63 points

791.

ΜLA: Micro Logic Analyzer

github.com/dotcypress

3 years ago

58 points

792.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

793.

The Mercury logic programming system

github.com/Mercury-Language

7 years ago

52 points

794.

Show HN: SHDL – A minimal hardware description language built from logic gates

github.com/rafa-rrayes

5 months ago

48 points

795.

PDEP-13: The Pandas Logical Type System

github.com/pandas-dev

2 years ago

46 points

796.

Cosyan – Transactional RDBMS with multi-table constraint logic

github.com/gsvigruha

8 years ago

44 points

797.

Show HN: WIP NandToTetris Emulator in pure C – logic gates to ALU to CPU to PC

github.com/con-dog

a year ago

43 points

798.

Generic engine to evaluate logical circuits on homomorphic encryption

github.com/virtualsecureplatform

5 years ago

38 points

799.

Show HN: PyNeuraLogic: Python Differentiable Logic Programs

github.com/LukasZahradnik

4 years ago

37 points

800.

Ask HN: How to call functions and do basic math in Clojure and core.logic?

gist.github.com

10 years ago

36 points

801.

Mycroft – A distributed declarative logic language

github.com/enkiv2

11 years ago

27 points

802.

PgDog is a transaction pooler logical replication manager can shard PostgreSQL

github.com/pgdogdev

a year ago

27 points

803.

Aristotle – Ruby business logic engine, inspired by Cucumber

github.com/apprentus

12 years ago

26 points

804.

Show HN: Use an EEPROM as Programmable Logic

github.com/DusteDdk

3 years ago

22 points

805.

Carnap – A formal logic framework that runs in the browser

github.com/Carnap

4 years ago

22 points

806.

DCI and Decoupling Business Logic from Ruby on Rails Part 1

lancecarlson.github.com

14 years ago

17 points

807.

Show HN: Sangati, a logical consistency checker for data

github.com/alienfluid

9 years ago

17 points

808.

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

gist.github.com

a year ago

17 points

809.

Show HN: Entish: A language for implementing RPG rules in formal logic

github.com/etherealmachine

5 years ago

etherealmachine

17 points

810.

Flaw in GitHub OAuth logic allowed unrestricted access to private repositories

9 years ago

17 points