Search: github.com/adamnemecek | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Rust language bindings for TensorFlow (github.com/google)

101 points

10 years ago

62.

Course materials for Malware Analysis (github.com/RPISEC)

99 points

10 years ago

63.

QuaterNet: A Quaternion-Based Recurrent Model for Human Motion (github.com/facebookresearch)

99 points

7 years ago

64.

Hydroflow: Dataflow Runtime in Rust (github.com/hydro-project)

94 points

3 years ago

65.

Compile Time C++ Snake Game (2016) (github.com/mattbierner)

94 points

8 years ago

66.

C++ Stackless Coroutine (github.com/jbandela)

92 points

10 years ago

67.

Catlab.jl: Experimental framework for applied category theory (github.com/epatters)

90 points

7 years ago

68.

Tracers – Rust Instrumentation Library (github.com/anelson)

88 points

7 years ago

69.

Geo: Geospatial Primitives and Algorithms for Rust (github.com/georust)

88 points

7 years ago

70.

Truck: CAD Kernel in Rust (github.com/ricosjp)

86 points

3 years ago

71.

QuantMath: Financial maths library for risk-neutral pricing and risk in Rust (github.com/MarcusRainbow)

83 points

5 years ago

72.

Ribir: Non-intrusive GUI framework for Rust/WASM (github.com/RibirX)

78 points

7 months ago

73.

Vkvg: Vulkan vector drawing, trying to stay close to Cairo API (github.com/jpbruyere)

78 points

8 years ago

74.

Domain-Specific Languages of Mathematics (github.com/DSLsofMath)

75 points

3 years ago

75.

LlamaDB: A simple SQL database written in Rust (github.com/nukep)

72 points

11 years ago

76.

Poi: Pragmatic point-free theorem prover assistant in Rust (github.com/advancedresearch)

71 points

6 years ago

77.

Translate screenshot into HTML using neural networks (github.com/emilwallner)

71 points

8 years ago

78.

Self_update: In-place updates for Rust executables (github.com/jaemk)

70 points

6 years ago

79.

No Sane Compiler Would Optimize Atomics (github.com/jfbastien)

65 points

10 years ago

80.

Concurrency: Implement withUnsafe[Throwing]Continuation (github.com/apple)

65 points

6 years ago

81.

Magnum: C++11/C++14 and OpenGL Graphics Engine (github.com/mosra)

64 points

10 years ago

82.

Shadershop: interactive interface for programming GPU shaders (github.com/cdglabs)

64 points

10 years ago

83.

RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang)

61 points

3 years ago

84.

UIKit for the Mac (github.com/unifiedh)

58 points

10 years ago

85.

STGi: Visual STG implementation to help understand Haskell's execution model (github.com/quchen)

56 points

10 years ago

86.

Rust implementation of projects from “Modern Compiler Implementation in ML” (github.com/antoyo)

56 points

7 years ago

87.

T * sin (t) ≈ Christmas tree (2013) (github.com/anvaka)

55 points

5 years ago

88.

Serious Engine – Serious Sam open-source engine (2016) (github.com/Croteam-official)

54 points

6 years ago

89.

Espanso: Cross-Platform Text Expander Written in Rust (github.com/federico-terzi)

50 points

6 years ago

90.

Kaldi Speech Recognition Toolkit (github.com/kaldi-asr)

49 points

11 years ago