Search: github.com/pr0g | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Crossbeam – Tools for concurrent programming in Rust

github.com/crossbeam-rs

4 years ago

167 points

902.

An online IDE for visual programming in Prolog

github.com/toblotron

3 years ago

167 points

903.

Inception movie explained programmatically with C and assembly

github.com/karthick18

9 years ago

165 points

904.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

905.

The Wren Programming Language

github.com/munificent

8 years ago

164 points

906.

Benchmarking 20 programming languages on N-queens and matrix multiplication

github.com/attractivechaos

2 years ago

attractivechaos

163 points

907.

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

github.com/windowjs

4 years ago

163 points

908.

Show HN: Goboscript, text-based programming language, compiles to Scratch

github.com/aspizu

a year ago

162 points

909.

Rost – Rust Programming in German

github.com/michidk

a year ago

161 points

910.

The Languages of English, Math, and Programming

github.com/norvig

2 years ago

161 points

911.

7GUIs – A Notational Usability Benchmark for GUI Programming

github.com/eugenkiss

11 years ago

160 points

912.

Show HN: Bato – A Filipino Programming Language

github.com/jjuliano

8 years ago

159 points

913.

Trine – A utility library for functional programming in JavaScript

github.com/jussi-kalliokoski

11 years ago

159 points

914.

Show HN: A platform for beginners to learn programming in Python

github.com/alexmojaki

6 years ago

159 points

915.

Show HN: Programming Google Flutter with Clojure

github.com/kennytilton

4 years ago

159 points

916.

Show HN: A work-in-progress C compiler from scratch

github.com/riicchhaarrd

5 years ago

159 points

917.

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

github.com/elonlit

4 years ago

157 points

918.

Dhall: a programmable configuration language that is not Turing-complete

github.com/dhall-lang

9 years ago

157 points

919.

Graphics Programming Black Book (1997)

github.com/jagregory

5 years ago

157 points

920.

ILGPU: Write GPU programs with C# and F#

github.com/m4rs-mt

2 years ago

157 points

921.

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

9 years ago

156 points

922.

Ziti: Programmable network overlay and edge components for zero-trust networking

4 years ago

156 points

923.

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

github.com/raptorjit

8 years ago

156 points

924.

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

github.com/titzer

4 years ago

155 points

925.

The Linux Kernel Module Programming Guide

github.com/sysprog21

5 years ago

154 points

926.

Build123d: A Python CAD programming library

github.com/gumyr

3 months ago

153 points

927.

Flowistry helps you understand Rust programs with program analysis

github.com/willcrichton

5 years ago

153 points

928.

Mariposa – A programming language with time-travel

github.com/ambulancja

2 years ago

152 points

929.

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

github.com/sebastienros

6 months ago

150 points

930.

Show HN: I'm 17 and wrote a guide on how to build your own programming language

easel.hackclub.com

2 years ago

149 points