Search: github.com/zadam | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Emu: Language for Programming GPUs in Rust

github.com/calebwin

7 years ago

122 points

452.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

122 points

453.

Writing Good C++14 by Default [pdf]

github.com/isocpp

11 years ago

121 points

454.

MozDef: The Mozilla Defense Platform

github.com/jeffbryner

12 years ago

118 points

455.

Mach7: Pattern Matching for C++

github.com/solodon4

11 years ago

109 points

456.

A curated list of resources dedicated to recurrent neural networks

github.com/kjw0612

10 years ago

104 points

457.

Rust language bindings for TensorFlow

github.com/google

10 years ago

101 points

458.

Show HN: Ocrbase – pdf → .md/.json document OCR and structured extraction API

github.com/majcheradam

5 months ago

99 points

459.

Course materials for Malware Analysis

github.com/RPISEC

10 years ago

99 points

460.

QuaterNet: A Quaternion-Based Recurrent Model for Human Motion

github.com/facebookresearch

7 years ago

99 points

461.

Hydroflow: Dataflow Runtime in Rust

github.com/hydro-project

3 years ago

94 points

462.

Compile Time C++ Snake Game (2016)

github.com/mattbierner

8 years ago

94 points

463.

C++ Stackless Coroutine

github.com/jbandela

10 years ago

92 points

464.

Catlab.jl: Experimental framework for applied category theory

github.com/epatters

7 years ago

90 points

465.

Tracers – Rust Instrumentation Library

github.com/anelson

7 years ago

88 points

466.

Geo: Geospatial Primitives and Algorithms for Rust

github.com/georust

7 years ago

88 points

467.

Truck: CAD Kernel in Rust

github.com/ricosjp

3 years ago

86 points

468.

QuantMath: Financial maths library for risk-neutral pricing and risk in Rust

github.com/MarcusRainbow

5 years ago

83 points

469.

Show HN: Pure C Asynchronous HTTP Framework

github.com/Softmotions

4 years ago

80 points

470.

Ribir: Non-intrusive GUI framework for Rust/WASM

github.com/RibirX

8 months ago

78 points

471.

Vkvg: Vulkan vector drawing, trying to stay close to Cairo API

github.com/jpbruyere

8 years ago

78 points

472.

Domain-Specific Languages of Mathematics

github.com/DSLsofMath

3 years ago

75 points

473.

LlamaDB: A simple SQL database written in Rust

github.com/nukep

11 years ago

72 points

474.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

475.

Translate screenshot into HTML using neural networks

github.com/emilwallner

8 years ago

71 points

476.

Self_update: In-place updates for Rust executables

github.com/jaemk

6 years ago

70 points

477.

A GPU-Accelerated Quantum Computer Simulator

github.com/QCGPU

8 years ago

68 points

478.

Show HN: Hivemind – Distributed jobs using AWS Lambda functions

github.com/littlstar

9 years ago

66 points

479.

No Sane Compiler Would Optimize Atomics

github.com/jfbastien

10 years ago

65 points

480.

Concurrency: Implement withUnsafe[Throwing]Continuation

github.com/apple

6 years ago

65 points