HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Mach7: Pattern Matching for C++
github.com/solodon4
27 comments
11 years ago
adamnemecek
109 points
92.
▲
A curated list of resources dedicated to recurrent neural networks
github.com/kjw0612
12 comments
10 years ago
adamnemecek
104 points
93.
▲
Rust language bindings for TensorFlow
github.com/google
10 comments
10 years ago
adamnemecek
101 points
94.
▲
Course materials for Malware Analysis
github.com/RPISEC
10 comments
10 years ago
adamnemecek
99 points
95.
▲
QuaterNet: A Quaternion-Based Recurrent Model for Human Motion
github.com/facebookresearch
7 comments
7 years ago
adamnemecek
99 points
96.
▲
Hydroflow: Dataflow Runtime in Rust
github.com/hydro-project
14 comments
3 years ago
adamnemecek
94 points
97.
▲
Compile Time C++ Snake Game (2016)
github.com/mattbierner
12 comments
8 years ago
adamnemecek
94 points
98.
▲
C++ Stackless Coroutine
github.com/jbandela
27 comments
10 years ago
adamnemecek
92 points
99.
▲
Catlab.jl: Experimental framework for applied category theory
github.com/epatters
4 comments
7 years ago
adamnemecek
90 points
100.
▲
Tracers – Rust Instrumentation Library
github.com/anelson
17 comments
7 years ago
adamnemecek
88 points
101.
▲
Geo: Geospatial Primitives and Algorithms for Rust
github.com/georust
discuss
7 years ago
adamnemecek
88 points
102.
▲
Truck: CAD Kernel in Rust
github.com/ricosjp
44 comments
3 years ago
adamnemecek
86 points
103.
▲
QuantMath: Financial maths library for risk-neutral pricing and risk in Rust
github.com/MarcusRainbow
18 comments
5 years ago
adamnemecek
83 points
104.
▲
Ribir: Non-intrusive GUI framework for Rust/WASM
github.com/RibirX
24 comments
7 months ago
adamnemecek
78 points
105.
▲
Vkvg: Vulkan vector drawing, trying to stay close to Cairo API
github.com/jpbruyere
10 comments
8 years ago
adamnemecek
78 points
106.
▲
Domain-Specific Languages of Mathematics
github.com/DSLsofMath
14 comments
3 years ago
adamnemecek
75 points
107.
▲
LlamaDB: A simple SQL database written in Rust
github.com/nukep
8 comments
11 years ago
adamnemecek
72 points
108.
▲
Poi: Pragmatic point-free theorem prover assistant in Rust
github.com/advancedresearch
35 comments
6 years ago
adamnemecek
71 points
109.
▲
Translate screenshot into HTML using neural networks
github.com/emilwallner
10 comments
8 years ago
adamnemecek
71 points
110.
▲
Self_update: In-place updates for Rust executables
github.com/jaemk
24 comments
6 years ago
adamnemecek
70 points
111.
▲
No Sane Compiler Would Optimize Atomics
github.com/jfbastien
56 comments
10 years ago
adamnemecek
65 points
112.
▲
Concurrency: Implement withUnsafe[Throwing]Continuation
github.com/apple
15 comments
6 years ago
adamnemecek
65 points
113.
▲
Magnum: C++11/C++14 and OpenGL Graphics Engine
github.com/mosra
20 comments
10 years ago
adamnemecek
64 points
114.
▲
Shadershop: interactive interface for programming GPU shaders
github.com/cdglabs
10 comments
10 years ago
adamnemecek
64 points
115.
▲
RZK: Experimental proof assistant for synthetic ∞-categories
github.com/rzk-lang
46 comments
3 years ago
adamnemecek
61 points
116.
▲
UIKit for the Mac
github.com/unifiedh
38 comments
10 years ago
adamnemecek
58 points
117.
▲
STGi: Visual STG implementation to help understand Haskell's execution model
github.com/quchen
11 comments
10 years ago
adamnemecek
56 points
118.
▲
Rust implementation of projects from “Modern Compiler Implementation in ML”
github.com/antoyo
1 comment
7 years ago
adamnemecek
56 points
119.
▲
T * sin (t) ≈ Christmas tree (2013)
github.com/anvaka
1 comment
5 years ago
adamnemecek
55 points
120.
▲
Serious Engine – Serious Sam open-source engine (2016)
github.com/Croteam-official
10 comments
7 years ago
adamnemecek
54 points
More