Search: github.com/levey | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Verus: Verified Rust for low-level systems code

github.com/secure-foundations

a year ago

158 points

122.

RaptorJIT 1.0: Lua implementation for high-perf low-level system programming

github.com/raptorjit

8 years ago

156 points

123.

Bolt: A low-level key/value database for Go

github.com/boltdb

12 years ago

155 points

124.

Show HN: Peridot – A functional language based on two-level type theory

github.com/eashanhatti

4 years ago

151 points

125.

Rust Books Grouped by Level

github.com/sger

3 years ago

147 points

126.

Top-level await in JavaScript is a footgun

gist.github.com

10 years ago

141 points

127.

High-level emulator for iPhone OS apps

github.com/hikari-no-yume

3 years ago

141 points

128.

Sljit: Platform independent low-level JIT compiler

github.com/zherczeg

2 years ago

139 points

129.

Nvidia open-source nanite: continuous level of detail (LOD) mesh library

github.com/nvpro-samples

a year ago

137 points

130.

Show HN: Investorsexchange.jl – parse trade-level stock market data in Julia

github.com/lukemerrick

4 years ago

136 points

131.

Seaborn: a high-level Python interface for drawing statistical graphics

github.com/mwaskom

11 years ago

134 points

132.

PeachPy: Assembly Code Generation in High-Level Python

github.com/Maratyszcza

11 years ago

116 points

133.

Show HN: Go-git – low-level and extensible Git client library in Go

github.com/src-d

10 years ago

114 points

134.

Shapeshift: Semantically map JSON objects using key-level vector embeddings

github.com/rectanglehq

2 years ago

114 points

135.

Undocumented x86 instructions to control the CPU at the microarchitecture level [pdf]

github.com/chip-red-pill

5 years ago

103 points

136.

Grand-Master Level Chess Without Search: Modeling Choices and Their Implications

gist.github.com

2 years ago

102 points

137.

Show HN: Serverless collaborative notion-level note editor using CRDT in GO

github.com/notebox

2 years ago

98 points

138.

Kickstarter for a JavaScript top level domain (.js TLD)

github.com/ozten

14 years ago

97 points

139.

Sem – Semantic version control. Entity-level diffs on top of Git

github.com/ataraxy-labs

4 months ago

95 points

140.

Nvidia Tilus: A Tile-Level GPU Kernel Programming Language

github.com/NVIDIA

10 months ago

94 points

141.

Bubblewrap – Low-level unprivileged sandboxing tool used by Flatpak

github.com/containers

3 years ago

91 points

142.

Show HN: UltraEd – A level editor/game engine for the Nintendo 64

github.com/deadcast

9 years ago

90 points

143.

Show HN: Blocklike.js Educational Library – So kids can level up from Scratch

github.com/ronilan

7 years ago

88 points

144.

Rubocop-obsession: RuboCop extension focused on higher-level concepts

github.com/jeromedalbert

2 years ago

87 points

145.

Butano: Modern C++ high level GameBoy Advance engine

github.com/GValiente

6 years ago

86 points

146.

Ritchie language: power of C and convenience of a high-level language

github.com/riolet

11 years ago

79 points

147.

Scrape: A simple, higher level interface for Go web scraping

github.com/yhat

11 years ago

79 points

148.

Siberite: A Simple LevelDB-Backed Message Queue in Go

github.com/bogdanovich

11 years ago

77 points

149.

Custom Processing Unit: Hook, patch, and trace microcode at the software level

github.com/pietroborrello

4 years ago

75 points

150.

Multi-Level Intermediate Representation Compiler Infrastructure

github.com/tensorflow

7 years ago

74 points