Search: github.com/xspec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Whisper: performant port of OpenAI's Whisper spech recognition model in C/C++ (github.com/ggerganov)

4 points

4 years ago

872.

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications (github.com/curtsinger-lab)

4 points

4 years ago

873.

Catala: Programming language for literate programming law specification (github.com/CatalaLang)

4 points

4 years ago

874.

Fsm2sv: Convert FSM spec in YAML to synthesizable SystemVerilog (github.com/mohamed)

4 points

4 years ago

875.

Oxfeeefeee/goscript: Go specs implemented as a scripting language in Rust (github.com/oxfeeefeee)

4 points

5 years ago

876.

Show HN: Manage App Specs for DigitalOcean App Platform (github.com/renehernandez)

4 points

6 years ago

877.

All-in-one web-based IDE specialized for machine learning and data science (github.com/ml-tooling)

4 points

7 years ago

878.

KV, indexed JSON, graph database designed specifically for Cloudflare (github.com/anywhichway)

4 points

7 years ago

879.

Show HN: Commit Hawk – Get notified when specific files change in a GitHub repo (github.com/jesalg)

4 points

7 years ago

880.

Domain-Specific Languages Syllabus (github.com/jeanqasaur)

4 points

7 years ago

881.

Keras API Special Interest Group (github.com/keras-team)

4 points

7 years ago

882.

Show HN: Raman Spectroscopy peak fitting with Python and scipy (github.com/zunzun)

4 points

9 years ago

883.

Parseable CloudFormation Specifications (github.com/sentialabs)

4 points

9 years ago

884.

Jfrazelle/riddler: docker inspect to opencontainers runc spec converter (github.com/jfrazelle)

4 points

10 years ago

885.

SkateJS: a functional rendering pipeline on top of the W3C web component specs (github.com/skatejs)

4 points

10 years ago

886.

Massive JS: a PostgreSQL-specific data access tool (github.com/robconery)

4 points

10 years ago

887.

Browser-hack sass mixins: Apply your CSS to a specific browser (github.com/saadeghi)

4 points

10 years ago

888.

Show HN: HeFS and MBCI, two specs from my custom Kernel

3 points

a year ago

889.

MCP's auth spec is lacking and Auth0 isn't helping (github.com/orgs)

3 points

10 months ago

890.

Paper-First Verifiable Credentials Specification Using QR Codes (github.com/Path-Check)

3 points

4 years ago

891.

Implementation of Content Auth Initiative Following C2PA Specs (github.com/numbersprotocol)

3 points

5 years ago

892.

Show HN: A Go package to execute shell commands in specified order (github.com/amalfra)

3 points

9 years ago

893.

Ask HN: Is there a JSON format for specifying a test case?

3 points

12 years ago

894.

Show HN: Skawld – Open-source SDK for company-specific AI agents (github.com/skawld)

3 points

5 days ago

895.

Show HN: A Python lib to create task-specific LLMs for NLP without training data (github.com/tanaos)

3 points

8 months ago

896.

ZX Spectrum BASIC interpreter written in Kotlin (github.com/guytavor)

3 points

3 years ago

897.

GPT-engineer: Specify what you want to build, clarify, then the AI builds it (github.com/AntonOsika)

3 points

3 years ago

898.

Username/username is a special repository that adds README.md to your profile (github.com)

3 points

6 years ago

899.

Check if JavaScript objects has only specific properties (github.com/khubo)

3 points

8 years ago

900.

A zelda sound will be played when your specs pass :) (github.com/Poilon)

3 points

11 years ago