HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
61.
▲
No Sane Compiler Would Optimize Atomics
github.com/jfbastien
56 comments
10 years ago
adamnemecek
65 points
62.
▲
Shadershop: interactive interface for programming GPU shaders
github.com/cdglabs
10 comments
10 years ago
adamnemecek
64 points
63.
▲
Hololens facial recognition prototype
github.com/UoA-eResearch
29 comments
10 years ago
adamloving
63 points
64.
▲
RZK: Experimental proof assistant for synthetic ∞-categories
github.com/rzk-lang
46 comments
3 years ago
adamnemecek
61 points
65.
▲
UIKit for the Mac
github.com/unifiedh
38 comments
10 years ago
adamnemecek
58 points
66.
▲
STGi: Visual STG implementation to help understand Haskell's execution model
github.com/quchen
11 comments
10 years ago
adamnemecek
56 points
67.
▲
Rust implementation of projects from “Modern Compiler Implementation in ML”
github.com/antoyo
1 comment
7 years ago
adamnemecek
56 points
68.
▲
T * sin (t) ≈ Christmas tree (2013)
github.com/anvaka
1 comment
5 years ago
adamnemecek
55 points
69.
▲
Espanso: Cross-Platform Text Expander Written in Rust
github.com/federico-terzi
11 comments
6 years ago
adamnemecek
50 points
70.
▲
Kaldi Speech Recognition Toolkit
github.com/kaldi-asr
11 comments
11 years ago
adamnemecek
49 points
71.
▲
Rejit: a work-in-progress JIT-powered regex engine
github.com/kirbyfan64
14 comments
10 years ago
adamnemecek
43 points
72.
▲
Applied Category Theory
github.com/statebox
2 comments
7 years ago
adamnemecek
34 points
73.
▲
By the Bluebook implementation of Smalltalk-80
github.com/dbanay
1 comment
6 years ago
adamnemecek
33 points
74.
▲
Awesome Tensorflow: A curated list of Tensorflow resources
github.com/jtoy
1 comment
10 years ago
adamnemecek
31 points
75.
▲
Iced: x86/x64 disassembler, assembler, decoder, encoder in Rust
github.com/0xd4d
1 comment
6 years ago
adamnemecek
27 points
76.
▲
Modern Memory Safety: C/C++ Vulnerability Discovery, Exploitation, Hardening
github.com/struct
discuss
10 years ago
adamnemecek
22 points
77.
▲
Reverse Engineering Nintendo's Unknown6 Packet in PokemonGo
github.com/pkmngodev
2 comments
10 years ago
adamnemecek
19 points
78.
▲
Hat Backup – Back-end-agnostic snapshotting backup system written in Rust
github.com/google
1 comment
11 years ago
adamnemecek
18 points
79.
▲
Idris 2 programming language announced
github.com/edwinb
1 comment
7 years ago
adamnemecek
17 points
80.
▲
Cartography: Declarative Auto Layout in Swift
github.com/robb
4 comments
11 years ago
adamnemecek
16 points
81.
▲
Magnum: Lightweight C++14 graphics engine for games and data visualization
github.com/mosra
discuss
7 years ago
adamnemecek
16 points
82.
▲
Iron Kaleidoscope: LLVM Tutorial in Rust
github.com/jauhien
discuss
6 years ago
adamnemecek
15 points
83.
▲
Regex for matching words in the English dictionary
gist.github.com
2 comments
13 years ago
adamnemecek
14 points
84.
▲
Oxischeme: Scheme implementation written in Rust
github.com/fitzgen
discuss
11 years ago
adamnemecek
14 points
85.
▲
Git 2.9 has been released
github.com/blog
discuss
10 years ago
adamnemecek
13 points
86.
▲
TFS: ZFS inspired file system written in Rust
github.com/redox-os
5 comments
7 years ago
adamnemecek
12 points
87.
▲
Write Elixir and Compile to JavaScript
github.com/bryanjos
discuss
11 years ago
adambrod
8 points
88.
▲
Ricochet: Anonymous open-source P2P instant messaging
github.com/ricochet-im
discuss
12 years ago
adamnemecek
6 points
89.
▲
Grenade: Dependently typed, practical neural network library in Haskell
github.com/HuwCampbell
discuss
10 years ago
adamnemecek
6 points
90.
▲
Rustation: Playstation emulator written in Rust
github.com/simias
discuss
11 years ago
adamnemecek
6 points
More