Search: github.com/adamf | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

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

86 points

3 years ago

452.

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

83 points

5 years ago

453.

Show HN: Pure C Asynchronous HTTP Framework (github.com/Softmotions)

80 points

4 years ago

454.

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

78 points

7 months ago

455.

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

78 points

8 years ago

456.

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

75 points

3 years ago

457.

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

72 points

11 years ago

458.

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

71 points

6 years ago

459.

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

71 points

8 years ago

460.

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

70 points

6 years ago

461.

A GPU-Accelerated Quantum Computer Simulator (github.com/QCGPU)

68 points

8 years ago

462.

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

65 points

10 years ago

463.

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

65 points

6 years ago

464.

Etsy Moves from React to Preact (github.com/mq2thez)

64 points

4 years ago

465.

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

64 points

10 years ago

466.

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

64 points

10 years ago

467.

Hololens facial recognition prototype (github.com/UoA-eResearch)

63 points

10 years ago

468.

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

61 points

3 years ago

469.

UIKit for the Mac (github.com/unifiedh)

58 points

10 years ago

470.

Glacier CLI (github.com/basak)

58 points

14 years ago

471.

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

56 points

10 years ago

472.

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

56 points

7 years ago

473.

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

55 points

5 years ago

474.

WhatWG: Proposal – Update XPath to at least v2.0 (github.com/whatwg)

54 points

6 years ago

475.

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

54 points

7 years ago

476.

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

50 points

6 years ago

477.

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

49 points

11 years ago

478.

Blackjack: Procedural, node-based graphics modeling tool (github.com/setzer22)

48 points

4 years ago

479.

React Fiber Architecture: React's new core algorithm (github.com/acdlite)

48 points

10 years ago

480.

A workshop on monads with C++14 (github.com/joaquintides)

44 points

11 years ago