Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Composefs: Content-Addressable Overlay Filesystem for Linux

github.com/containers

3 years ago

80 points

872.

Show HN: WanderApp – Cast Harry Potter Spells with gyroscope data

github.com/corupta

5 years ago

80 points

873.

Rose: Compiler Infrastructure for Source-to-Source Program Transformation

github.com/rose-compiler

7 years ago

80 points

874.

Co-Dfns: High-Performance, Reliable, and Parallel APL

github.com/arcfide

10 years ago

80 points

875.

Transducers for JavaScript

github.com/cognitect-labs

12 years ago

79 points

876.

CodeGen: LLVM wrapper for just-in-time code generation and compilation

github.com/pdziepak

7 years ago

79 points

877.

Show HN: Autocompletion for Swift on Emacs

github.com/nathankot

11 years ago

79 points

878.

Show HN: BookmarkFS – Store files as Chrome bookmarks that sync between devices

github.com/CoolElectronics

4 years ago

coolelectronics

79 points

879.

HOCON – Human-Optimized Config Object Notation

github.com/typesafehub

9 years ago

78 points

880.

Show HN: I built a zero-browser, pure-JS typesetting engine for bit-perfect PDFs

github.com/cosmiciron

4 months ago

78 points

881.

GitHub Community Discussions: Past year's top 2 requests are to disable Copilot

github.com/orgs

10 months ago

78 points

882.

Show HN: Variables War, a kid-friendly code playing-cards game

github.com/kids-code-games

8 years ago

78 points

883.

github.com/ContextLab

5 years ago

78 points

884.

Show HN: Geodata API for country and city select drop-downs

github.com/shivammathur

7 years ago

78 points

885.

CockroachDB: A Scalable, Geo-Replicated, Transactional Datastore

github.com/cockroachdb

12 years ago

77 points

886.

GPT-5.3-Codex being routed to GPT-5.2

github.com/openai

4 months ago

cactusplant7374

77 points

887.

Show HN: Modifying Clang for a Safer, More Explicit C++

github.com/compiler-devel

4 years ago

76 points

888.

CoffeeScript2 - A Redesign of the CoffeeScript Compiler

github.com/michaelficarra

14 years ago

76 points

889.

Convolutional-KANs

github.com/AntonioTepsich

2 years ago

76 points

890.

Await and Defer in Coffeescript core

github.com/jashkenas

15 years ago

75 points

891.

Open Source color palettes generator in HSLuv color space

github.com/saneef

2 years ago

75 points

892.

Copy Dialog Lunar Lander

github.com/Sanakan8472

4 years ago

75 points

893.

What's wrong with Software nowadays and how we can fix it

github.com/zells

10 years ago

74 points

894.

Show HN: CodeSpeak, the beginnings of a web-based speech-to-code tool

github.com/sethwilsonUS

7 years ago

74 points

895.

Show HN: A compiler for a small language into x86-64 assembly

github.com/MauriceGit

6 years ago

74 points

896.

Show HN: Coerce – Distributed actor framework in Rust

github.com/LeonHartley

3 years ago

74 points

897.

Show HN: Gonzo – A Go-based TUI for log analysis (OpenTelemetry/OTLP support)

github.com/control-theory

10 months ago

74 points

898.

Compilers targeting C - a list of open source compilers that can generate C code

github.com/dbohdan

10 years ago

74 points

899.

ParparVM – Open Source JVM for iOS

github.com/codenameone

10 years ago

74 points

900.

Show HN: Open source alternative to LaunchRock

github.com/codelitt

11 years ago

74 points