Search: github.com/pr0g | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Show HN: A dependently-typed programming language with static memory management

github.com/u2zv1wx

6 years ago

456 points

722.

An Introduction to Reactive Programming

gist.github.com

12 years ago

455 points

723.

CatalaLang/catala: Programming language for law specification

github.com/CatalaLang

3 years ago

453 points

724.

Falsehoods Programmers Believe About Phone Numbers (2016)

github.com/googlei18n

7 years ago

451 points

725.

Low-Level Programming University – A roadmap to becoming a low-level programmer

github.com/gurugio

9 years ago

438 points

726.

Aider: AI pair programming in your terminal

github.com/paul-gauthier

2 years ago

432 points

727.

The Worst Programming Environment in the World?

github.com/jloughry

13 years ago

421 points

728.

Show HN: I made a programmable computer from NAND gates

github.com/ArhanChaudhary

2 years ago

420 points

729.

Crush: A command line shell that is also a powerful modern programming language

github.com/liljencrantz

6 years ago

410 points

730.

Myna: Monospace typeface designed for symbol-heavy programming languages

github.com/sayyadirfanali

8 months ago

407 points

731.

So You Think You Can Program an Elevator

github.com/mshang

10 years ago

407 points

732.

Category Theory for Programmers (2014) [pdf]

github.com/hmemcpy

7 years ago

403 points

733.

Shreddit is a Python program to remove all your Reddit comments

3 years ago

402 points

734.

Ziglings: Learn the Zig programming language by fixing tiny broken programs

github.com/ratfactor

5 years ago

DyslexicAtheist

396 points

735.

Microsoft Power Fx – A low-code general purpose programming language

github.com/microsoft

5 years ago

395 points

736.

Horizon Linux: arm64 Linux patched to run programs for the Nintendo Switch

github.com/kentjhall

4 years ago

386 points

737.

BitBar: put the output from any script/program in your Mac OS X Menu Bar

github.com/matryer

10 years ago

385 points

738.

Show HN: boxxy – Control where Linux programs put files, without symlinks

github.com/queer

3 years ago

384 points

739.

Practical Python Programming

github.com/dabeaz-course

6 years ago

373 points

740.

Evolution of a Python programmer

gist.github.com

16 years ago

366 points

741.

Vigil: A programming language with eternal moral vigilance

github.com/munificent

13 years ago

362 points

742.

An introduction to Reactive Programming

gist.github.com

8 years ago

357 points

743.

Cherri – programming language that compiles to an Apple Shortuct

github.com/electrikmilk

3 months ago

355 points

744.

A Ruby program that generates itself through a 128-language quine loop

github.com/mame

4 years ago

350 points

745.

Ryzen 5800X vs. M1: Programming benchmarks

github.com/tuhdo

6 years ago

338 points

746.

Show HN: I wrote a program to convert lines of text into trees

github.com/birchb1024

5 years ago

333 points

747.

Rockstar lib will make you a Rockstar programmer in 2 lines of code

github.com/avinassh

11 years ago

327 points

748.

Show HN: Arturo – REBOL-inspired programming language and VM written in Nim

6 years ago

324 points

749.

A list of practical projects that anyone can solve in any programming language

github.com/karan

8 years ago

320 points

750.

Sqlite-vec: Work-in-progress vector search SQLite extension that runs anywhere

github.com/asg017

2 years ago

314 points