Search: github.com/xrd | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

Automated theorem prover for first-order predicate logic written in TypeScript

github.com/kkty

7 years ago

2 points

692.

Inox: Solver for higher-order functional programs

github.com/epfl-lara

7 years ago

2 points

693.

Zsh_functional: ZSH Higher Order Functions

github.com/Tarrasch

7 years ago

2 points

694.

RISC-V CPU with simple 5-stage in-order pipeline for FPGA

github.com/bluespec

8 years ago

2 points

695.

Trustless, provable event ordering in p2p network (e.g. for smart contracts)

github.com/levy

8 years ago

2 points

696.

Constexpr C++17 library simplifying higher order functions in application code

github.com/rollbear

8 years ago

2 points

697.

Recompose:React utility belt for function components and higher-order components

github.com/acdlite

8 years ago

2 points

698.

Moss – a simple, fast, ordered, persistable, key-val storage library for golang

github.com/couchbase

8 years ago

2 points

699.

Pymorton: Ordinal hashing of multidimensonal data via the interleaving of bits

github.com/trevorprater

9 years ago

2 points

700.

Show HN: unic – a tool like sort|uniq but maintains order using a Cuckoo Filter

github.com/donatj

9 years ago

2 points

701.

Working with datasets in Clojure: select,where,aggregate,join,order,crosstab,etc

github.com/emiruz

9 years ago

2 points

702.

Protein order and disorder data for ML and AI

github.com/PeptoneInc

9 years ago

2 points

703.

Revalidation – Higher Order Component for Validating Forms in React

github.com/25th-floor

9 years ago

2 points

704.

Creating computation networks from ordinary mathematical expressions in C++

github.com/burtonsamograd

9 years ago

2 points

705.

Magento scripts for inventory sync, order export, and shipment imports

github.com/nparsons08

10 years ago

2 points

706.

Git 2.9 released: more intelligent diff ordering with --compaction-heuristic

github.com/blog

10 years ago

2 points

707.

Magento scripts for inventory sync, order export, and shipment imports

github.com/nparsons08

10 years ago

2 points

708.

Show HN: A redux higher order reducer to simplify the state of fetched data

github.com/DerekCuevas

10 years ago

2 points

709.

Show HN: Stocks ordered by maximum profit for 2019

github.com/neonmate

6 years ago

1 points

710.

Two orders of magnitude faster Persistent AI memory via a binary lattice

github.com/RYJOX-Technologies

4 months ago

1 points

711.

PHP 5 – Which Random Sources You Should Trust, by Order of Preference

github.com/paragonie

11 years ago

1 points

712.

Linear plugin for OpenClaw (with managed/ordered queue)

github.com/stepandel

4 months ago

1 points

713.

GitHub widget: show off your repos, with decriptions, in star order

github.com/jawj

14 years ago

1 points

714.

Saga Pattern and Outbox/Inbox Implementation – Distributed Order Processing

github.com/onurkanbakirci

9 months ago

1 points

715.

Node.js Library for Hierarchical Data in Flat Ordered JSON

github.com/joseph-terzi

a year ago

1 points

716.

Using Bitcoin Ordinals for Permissioned Subnets–New Governance Primitive?

github.com/koii-network

a year ago

AppropriateTest

1 points

717.

Train a neural network with your Strava activities in order to predict race time

2 years ago

1 points

718.

Roast This Order Book

github.com/jordy25519

3 years ago

1 points

719.

Show HN: Out of order execution in Jupyter notebooks is a solved problem

github.com/ipyflow

3 years ago

1 points

720.

Show HN: Selenium script for ordering a new bus pass

github.com/arecker

10 years ago

1 points