Search: github.com/pr0g | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Dafny – A programming language with a program verifier (github.com/Microsoft)

165 points

9 years ago

902.

The Wren Programming Language (github.com/munificent)

164 points

8 years ago

903.

Benchmarking 20 programming languages on N-queens and matrix multiplication (github.com/attractivechaos)

163 points

attractivechaos

2 years ago

904.

Window.js is an open-source JavaScript runtime for desktop graphics programming (github.com/windowjs)

163 points

4 years ago

905.

Show HN: Goboscript, text-based programming language, compiles to Scratch (github.com/aspizu)

162 points

a year ago

906.

Rost – Rust Programming in German (github.com/michidk)

161 points

a year ago

907.

The Languages of English, Math, and Programming (github.com/norvig)

161 points

2 years ago

908.

7GUIs – A Notational Usability Benchmark for GUI Programming (github.com/eugenkiss)

160 points

11 years ago

909.

Show HN: Bato – A Filipino Programming Language (github.com/jjuliano)

159 points

8 years ago

910.

Trine – A utility library for functional programming in JavaScript (github.com/jussi-kalliokoski)

159 points

11 years ago

911.

Show HN: A platform for beginners to learn programming in Python (github.com/alexmojaki)

159 points

6 years ago

912.

Show HN: Programming Google Flutter with Clojure (github.com/kennytilton)

159 points

4 years ago

913.

Show HN: A work-in-progress C compiler from scratch (github.com/riicchhaarrd)

159 points

5 years ago

914.

Genesis: an interpreted, Turing-complete Paleo-Hebrew programming language (github.com/elonlit)

157 points

4 years ago

915.

Dhall: a programmable configuration language that is not Turing-complete (github.com/dhall-lang)

157 points

9 years ago

916.

Graphics Programming Black Book (1997) (github.com/jagregory)

157 points

5 years ago

917.

ILGPU: Write GPU programs with C# and F# (github.com/m4rs-mt)

157 points

2 years ago

918.

Show HN: Dharma – Programmable Peer-To-Peer Loans Using Ethereum Smart Contracts

156 points

9 years ago

919.

Ziti: Programmable network overlay and edge components for zero-trust networking (github.com)

156 points

4 years ago

920.

RaptorJIT 1.0: Lua implementation for high-perf low-level system programming (github.com/raptorjit)

156 points

8 years ago

921.

Virgil: A fast and lightweight programming language that compiles to WASM (github.com/titzer)

155 points

4 years ago

922.

The Linux Kernel Module Programming Guide (github.com/sysprog21)

154 points

5 years ago

923.

Build123d: A Python CAD programming library (github.com/gumyr)

153 points

2 months ago

924.

Flowistry helps you understand Rust programs with program analysis (github.com/willcrichton)

153 points

5 years ago

925.

Mariposa – A programming language with time-travel (github.com/ambulancja)

152 points

2 years ago

926.

Comptime – C# meta-programming with compile-time code generation and evaluation (github.com/sebastienros)

150 points

6 months ago

927.

Show HN: I'm 17 and wrote a guide on how to build your own programming language (easel.hackclub.com)

149 points

2 years ago

928.

The Dao of Functional Programming [pdf] (github.com/BartoszMilewski)

148 points

4 years ago

929.

Show HN: A simple way to write standalone C programs for i386 (github.com/luke8086)

147 points

7 years ago

930.

Show HN: Sol – A de-minifier for shell programs (github.com/noperator)

147 points

2 years ago