Search: github.com/progrium | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Barliman – real-time program synthesis to make the programmer's life easier

github.com/webyrd

9 years ago

michaelsbradley

186 points

242.

Frege: A JVM pure functional programming language in the spirit of Haskell

github.com/Frege

13 years ago

185 points

243.

The Science of Functional Programming [pdf]

github.com/winitzki

7 years ago

180 points

244.

Motion Canvas – Visualize complex ideas programmatically

github.com/motion-canvas

3 years ago

180 points

245.

The V Programming Language is open source

github.com/vlang

7 years ago

180 points

246.

Programming ARM Cortex-M Microcontrollers with Rust

github.com/japaric

9 years ago

179 points

247.

Show HN: gpt-engineer – platform for devs to tinker with AI programming tools

3 years ago

178 points

248.

Box64 lets you run x86_64 programs on non-x86_64 systems

github.com/ptitSeb

5 years ago

177 points

249.

A Path to Programming Language Theory

github.com/steshaw

10 years ago

174 points

250.

A curated list of falsehoods programmers believe

github.com/kdeldycke

6 years ago

173 points

251.

Paradigms of Artificial Intelligence Programming (1992)

github.com/norvig

6 years ago

173 points

252.

Crossbeam – Tools for concurrent programming in Rust

github.com/crossbeam-rs

4 years ago

167 points

253.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

254.

The Wren Programming Language

github.com/munificent

8 years ago

164 points

255.

Window.js is an open-source JavaScript runtime for desktop graphics programming

github.com/windowjs

4 years ago

163 points

256.

Genesis: an interpreted, Turing-complete Paleo-Hebrew programming language

github.com/elonlit

4 years ago

157 points

257.

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

github.com/raptorjit

8 years ago

156 points

258.

Virgil: A fast and lightweight programming language that compiles to WASM

github.com/titzer

4 years ago

155 points

259.

Comptime – C# meta-programming with compile-time code generation and evaluation

github.com/sebastienros

6 months ago

150 points

260.

The Dao of Functional Programming [pdf]

github.com/BartoszMilewski

4 years ago

148 points

261.

Drgn: A programmable C debugger, scriptable from Python

github.com/osandov

4 years ago

147 points

262.

Bare Metal Programming on Raspberry Pi 3

github.com/bztsrc

6 years ago

142 points

263.

Show HN: Marsha – An LLM-Based Programming Language

github.com/alantech

3 years ago

140 points

264.

Show HN: Synthesize TikZ Graphics Programs for Scientific Figures and Sketches

github.com/potamides

2 years ago

132 points

265.

A new way to think about programs

github.com/raganwald

16 years ago

130 points

266.

Show HN: Python library for functional programming

github.com/EntilZha

9 years ago

129 points

267.

Where are the Eyes is a program for detecting and mapping surveillance cameras

github.com/DaylightingSociety

10 years ago

128 points

268.

System Programming in Linux: A Hands-On Introduction "Demo" Programs

github.com/stewartweiss

5 months ago

128 points

269.

Old Unix programs running on modern computers

3 years ago

126 points

270.

Usefulness of inventing programming languages

emilis.github.com

15 years ago

125 points