Search: github.com/xspec | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

122 points

692.

Show HN: Write universally accessible SQL, not library-specific ORM wrapper APIs

github.com/craigmichaelmartin

5 years ago

112 points

693.

Quint: A specification language based on the temporal logic of actions (TLA)

github.com/informalsystems

3 years ago

110 points

694.

Catalog of Elixir-specific code smells

github.com/lucasvegi

4 years ago

107 points

695.

Show HN: We made a tool to help developers improve OpenAPI specs

github.com/zuplo

2 years ago

105 points

696.

Flyweight: A Node.js ORM Specifically for SQLite

github.com/thebinarysearchtree

2 years ago

94 points

697.

Show HN: Create a full language server in Go with 3.17 spec support

github.com/owenrumney

3 months ago

93 points

698.

CSS3 Animations with special effects

minimamente.com

13 years ago

89 points

699.

Grasp: Grep Clojure code using clojure.spec regexes

github.com/borkdude

4 years ago

88 points

700.

SDRangel: Explore the electromagnetic spectrum with open source SDR software

github.com/f4exb

3 years ago

84 points

701.

MongoDB Wire Protocol Specification License

github.com/mongodb

5 years ago

81 points

702.

Haskoin – Haskell implementation of the Bitcoin specifications

github.com/haskoin

12 years ago

80 points

703.

Earth Species: Roadmaps towards decoding non-human languages

github.com/earthspecies

5 years ago

78 points

704.

Retrogram rtl-SDR – a radio spectrum analyzer for your terminal

github.com/r4d10n

3 years ago

77 points

705.

Show HN: OpenAPI fuzzer – fuzzing APIs based on OpenAPI specification

github.com/matusf

5 years ago

76 points

706.

DeepJ: Style-Specific Music Generation

github.com/calclavia

8 years ago

76 points

707.

Wssdl – WireShark-Specific Dissector Language

github.com/diacritic

10 years ago

76 points

708.

Fruit-Bat/Pico-Zxspectrum: ZX Spectrum for Raspberry Pico Pi RP2040

github.com/fruit-bat

3 years ago

76 points

709.

Domain-Specific Languages of Mathematics

github.com/DSLsofMath

3 years ago

75 points

710.

Show HN: A MCP server and client implementing the latest spec

github.com/hemanth

a year ago

72 points

711.

iNaturalist keeps full species classification models private

github.com/inaturalist

10 months ago

71 points

712.

The effect of cryptocurrency mining on LTE spectrum

github.com/iminehard

8 years ago

66 points

713.

Show HN: Graphql-java – A complete Java implementation of the GraphQL spec

github.com/andimarek

11 years ago

65 points

714.

Show HN: Ghostwheel – easy spec, side effect detection and tracing for Clojure

8 years ago

64 points

715.

Vatican: A lazy specializing virtual machine for purely functional languages

github.com/luqui

11 years ago

64 points

716.

A deep learning approach to colorizing images, specifically for Pokemon

github.com/cameronfabbri

10 years ago

63 points

717.

Show HN: An adventure game in Z80 assembly for CP/M and ZX Spectrum

2 years ago

63 points

718.

Spectral Imaging Made Easy: A Powerful Python Library

github.com/siapy

2 years ago

62 points

719.

Show HN: Rebase-editor, a simple CLI app specifically for Git interactive rebase

github.com/sjurba

9 years ago

62 points

720.

Bzip2 Format Specification (2016) [pdf]

github.com/dsnet

2 years ago

60 points