Search: github.com/adamv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

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

61 points

3 years ago

452.

UIKit for the Mac (github.com/unifiedh)

58 points

10 years ago

453.

Glacier CLI (github.com/basak)

58 points

14 years ago

454.

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

56 points

10 years ago

455.

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

56 points

7 years ago

456.

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

55 points

5 years ago

457.

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

54 points

6 years ago

458.

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

54 points

7 years ago

459.

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

50 points

6 years ago

460.

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

49 points

11 years ago

461.

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

48 points

4 years ago

462.

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

48 points

10 years ago

463.

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

44 points

11 years ago

464.

Rejit: a work-in-progress JIT-powered regex engine (github.com/kirbyfan64)

43 points

10 years ago

465.

Korg volca sample SDK – a sample and sequence encoding library (github.com/korginc)

37 points

12 years ago

466.

Applied Category Theory (github.com/statebox)

34 points

7 years ago

467.

By the Bluebook implementation of Smalltalk-80 (github.com/dbanay)

33 points

6 years ago

468.

KSL: Kinematics subroutine library (github.com/shift-dynamics)

31 points

7 years ago

469.

Awesome Tensorflow: A curated list of Tensorflow resources (github.com/jtoy)

31 points

10 years ago

470.

Jellyfish: GPU rootkit PoC (github.com/x0r1)

30 points

11 years ago

471.

MacHeap: OS X malloc introspection tool (github.com/blankwall)

30 points

10 years ago

472.

Rethinkdb-lite: RethinkDB-compatible database written in Crystal (github.com/lbguilherme)

28 points

5 years ago

473.

Iced: x86/x64 disassembler, assembler, decoder, encoder in Rust (github.com/0xd4d)

27 points

6 years ago

474.

MacDBG: C and Python debugging framework for macOS (github.com/blankwall)

25 points

10 years ago

475.

Modern Memory Safety: C/C++ Vulnerability Discovery, Exploitation, Hardening (github.com/struct)

22 points

10 years ago

476.

Reverse Engineering Nintendo's Unknown6 Packet in PokemonGo (github.com/pkmngodev)

19 points

10 years ago

477.

Show HN: Generate Google Play Music Playlists from BBC Playlister Urls (github.com/tavvy)

19 points

10 years ago

478.

Hat Backup – Back-end-agnostic snapshotting backup system written in Rust (github.com/google)

18 points

11 years ago

479.

Dorothy2: A malware and botnet analysis framework written in Ruby (github.com/m4rco-)

17 points

12 years ago

480.

Idris 2 programming language announced (github.com/edwinb)

17 points

7 years ago