Search: github.com/pr0g | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

The Dao of Functional Programming [pdf]

github.com/BartoszMilewski

4 years ago

148 points

932.

Show HN: A simple way to write standalone C programs for i386

github.com/luke8086

7 years ago

147 points

933.

Show HN: Sol – A de-minifier for shell programs

github.com/noperator

2 years ago

147 points

934.

Show HN: Jupyter4kids – Notebooks to help teach kids principles of programming

github.com/mikkokotila

9 years ago

147 points

935.

Drgn: A programmable C debugger, scriptable from Python

github.com/osandov

4 years ago

147 points

936.

A high-throughput parser for the Zig programming language

github.com/Validark

a year ago

146 points

937.

Haskus – A Haskell Framework for Systems Programming

github.com/haskus

9 years ago

146 points

938.

Functional Programming in Python

github.com/dry-python

6 years ago

145 points

939.

The OK? Programming Language

github.com/jesseduffield

4 years ago

143 points

940.

Escher: A language for programming in metaphors

github.com/gocircuit

12 years ago

143 points

941.

Literate programming tool for any language

github.com/zyedidia

a year ago

142 points

942.

Bare Metal Programming on Raspberry Pi 3

github.com/bztsrc

6 years ago

142 points

943.

Microsoft Project Verona: Research programming language for concurrent ownership

github.com/microsoft

6 years ago

142 points

944.

Comparing the C FFI overhead in various programming languages

8 years ago

141 points

945.

DSPy: Framework for programming with foundation models

github.com/stanfordnlp

3 years ago

141 points

946.

Show HN: LuaJIT assembler/assembly language for direct bytecode programming

github.com/rochus-keller

7 years ago

141 points

947.

Show HN: Marsha – An LLM-Based Programming Language

github.com/alantech

3 years ago

140 points

948.

Lighthouse – Auditing and Performance Metrics for Progressive Web Apps

github.com/GoogleChrome

10 years ago

140 points

949.

Geogram: Programming Library with Geometric Algorithms

github.com/BrunoLevy

3 years ago

138 points

950.

Programs compiled by Go 1.11 allocate an unreasonable amount of virtual memory

github.com/golang

8 years ago

137 points

951.

Tavish’s excessively long programmer biography

github.com/tarmstrong

10 years ago

137 points

952.

Show HN: The Jankest Autonomous Drone Built and Programmed from Scratch

github.com/alexozer

7 years ago

137 points

953.

Support of OpenBSD pledge(2) in programming languages

gist.github.com

10 years ago

136 points

954.

Kanren – Logic Programming in Python

github.com/logpy

7 years ago

136 points

955.

FaCT: Constant Time Programming Language

github.com/PLSysSec

4 years ago

135 points

956.

Polyglot is a distributed web framework for multiple programming languages

github.com/sausheong

12 years ago

135 points

957.

Show HN: Angular 2 HN – A progressive Hacker News client that works offline

github.com/hdjirdeh

9 years ago

134 points

958.

Show HN: Gaia – Build powerful pipelines in any programming language

github.com/gaia-pipeline

8 years ago

134 points

959.

Rete – JavaScript framework for node-based visual programming

github.com/retejs

8 years ago

134 points

960.

Run programs in Emacs buffer, seeing their output inline, interactively

github.com/darius

4 years ago

132 points