Search: github.com/SpecIR | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

TLA+ specification for the Raft consensus algorithm

github.com/ongardie

3 years ago

2 points

392.

Catala – Programming language for literate programming law specification

github.com/CatalaLang

3 years ago

2 points

393.

Miðeind – Icelandic Startup Specializing in AI and Natural Language Processing

3 years ago

2 points

394.

RFC: Start Working on a Rust Specification

github.com/rust-lang

4 years ago

2 points

395.

Specification of the jQuery Plugins Site package.json

github.com/jquery

15 years ago

2 points

396.

Robotic Processing Unit, a robot-specific processing unit

github.com/ros-acceleration

4 years ago

2 points

397.

UUCP Invite File Specification

github.com/lawrencecandilas

4 years ago

tenebrisalietum

2 points

398.

Universal Route Module API Specification

github.com/fastify

4 years ago

2 points

399.

A diff tool and Go module for OpenAPI Specification

github.com/Tufin

4 years ago

2 points

400.

Generate RSS feeds for specified subreddits with score thresholds

github.com/johnwarne

4 years ago

2 points

401.

Package for decoding and parsing barcodes according to UIC-918.3 specification

github.com/justusjonas74

4 years ago

2 points

402.

openapi-cli-generator: Generate a CLI from an OpenAPI 3 specification

github.com/danielgtaylor

4 years ago

2 points

403.

CloudEvents: Specification for describing event data in common formats

github.com/cloudevents

4 years ago

2 points

404.

Raytracing in Special Relativity

github.com/freemeson

4 years ago

2 points

405.

Show HN: Sowhat, markup language for bite-size notes with special stuff

5 years ago

2 points

406.

Clacks-over-HTTP Protocol Specification

github.com/clacks-overhead

5 years ago

2 points

407.

OpenAPI for Robotics - a specification for describing ROS systems

github.com/Airbotics

5 years ago

2 points

408.

FoodNutrition – nutrition for every food, which foods have specific ingredient

github.com/pipiscrew

5 years ago

2 points

409.

Reconstruct Open API Specifications from real-time workload traffic seamlessly

github.com/apiclarity

5 years ago

2 points

410.

Request for Mozilla Position on an Emerging Web Specification

github.com/mozilla

5 years ago

2 points

411.

Show HN: A library for specific error type handling in async JavaScript code

github.com/craigmichaelmartin

5 years ago

2 points

412.

An Android web browser based on webview, which is specialized for E-Ink device

github.com/plateaukao

5 years ago

2 points

413.

OpenSLO Specification

github.com/OpenSLO

5 years ago

2 points

414.

Yaegi: Elegant Golang Interpreter with Complete support of Go specification

github.com/traefik

5 years ago

2 points

415.

Electronic Health Certificates Specification

github.com/ehn-digital-green-development

5 years ago

2 points

416.

L4: Domain Specific Languages for Computational Law

github.com/smucclaw

5 years ago

2 points

417.

Open Container Initiative Distribution Specification

github.com/opencontainers

5 years ago

2 points

418.

Open Container Initiative Runtime Specification

github.com/opencontainers

5 years ago

2 points

419.

Open Application Model Specification

github.com/oam-dev

6 years ago

2 points

420.

A programming language about US special forces written in 200 lines of code

github.com/StepfenShawn

6 years ago

2 points