Search: github.com/xspec | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Show HN: Async.nvim: Full Promise spec for Neovim and async NPM lib port for Lua

github.com/izelnakri

2 years ago

4 points

872.

Abusing .NET Operator Overloads to Implement Domain Specific Language for HTML

github.com/guneysus

2 years ago

4 points

873.

Show HN: Pumpduler – receive messages on specific time over sockets

github.com/hakiKhuva

2 years ago

4 points

874.

OpenAPI-TUI: Terminal UI to list, browse and run APIs defined with OpenAPI spec

github.com/zaghaghi

2 years ago

4 points

875.

Show HN: Mewz: A unikenrel specialized for running WASM

2 years ago

4 points

876.

Formal specifications and static checking of interfaces in Julia

github.com/Keno

3 years ago

4 points

877.

Open-Gamma-Detector: a hackable DIY gamma-ray spectrometer

github.com/OpenGammaProject

3 years ago

4 points

878.

GPT-Engineer – Specify what you want it to build, clarify, and the AI builds it

github.com/AntonOsika

3 years ago

4 points

879.

ReplitLM specialized on code completion open-sourced by Replit

github.com/replit

3 years ago

4 points

880.

Show HN: Sysm lets you play custom sounds on specified events

github.com/jafarlihi

3 years ago

4 points

881.

Whisper: performant port of OpenAI's Whisper spech recognition model in C/C++

github.com/ggerganov

4 years ago

4 points

882.

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications

github.com/curtsinger-lab

4 years ago

4 points

883.

Catala: Programming language for literate programming law specification

github.com/CatalaLang

4 years ago

4 points

884.

Fsm2sv: Convert FSM spec in YAML to synthesizable SystemVerilog

github.com/mohamed

4 years ago

4 points

885.

Oxfeeefeee/goscript: Go specs implemented as a scripting language in Rust

github.com/oxfeeefeee

5 years ago

4 points

886.

Show HN: Manage App Specs for DigitalOcean App Platform

github.com/renehernandez

6 years ago

4 points

887.

All-in-one web-based IDE specialized for machine learning and data science

github.com/ml-tooling

7 years ago

4 points

888.

KV, indexed JSON, graph database designed specifically for Cloudflare

github.com/anywhichway

7 years ago

4 points

889.

Show HN: Commit Hawk – Get notified when specific files change in a GitHub repo

github.com/jesalg

7 years ago

4 points

890.

Domain-Specific Languages Syllabus

github.com/jeanqasaur

7 years ago

4 points

891.

Keras API Special Interest Group

github.com/keras-team

7 years ago

4 points

892.

Show HN: Raman Spectroscopy peak fitting with Python and scipy

github.com/zunzun

9 years ago

4 points

893.

Parseable CloudFormation Specifications

github.com/sentialabs

9 years ago

4 points

894.

Jfrazelle/riddler: docker inspect to opencontainers runc spec converter

github.com/jfrazelle

10 years ago

4 points

895.

SkateJS: a functional rendering pipeline on top of the W3C web component specs

github.com/skatejs

10 years ago

4 points

896.

Massive JS: a PostgreSQL-specific data access tool

github.com/robconery

10 years ago

4 points

897.

Browser-hack sass mixins: Apply your CSS to a specific browser

github.com/saadeghi

10 years ago

4 points

898.

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

a year ago

3 points

899.

MCP's auth spec is lacking and Auth0 isn't helping

github.com/orgs

10 months ago

3 points

900.

Paper-First Verifiable Credentials Specification Using QR Codes

github.com/Path-Check

4 years ago

3 points