Search: github.com/adam7 | Heykuki News

HK

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

3 years ago

61 points

452.

UIKit for the Mac

github.com/unifiedh

10 years ago

58 points

453.

github.com/basak

14 years ago

58 points

454.

STGi: Visual STG implementation to help understand Haskell's execution model

github.com/quchen

10 years ago

56 points

455.

Rust implementation of projects from “Modern Compiler Implementation in ML”

github.com/antoyo

7 years ago

56 points

456.

T * sin (t) ≈ Christmas tree (2013)

github.com/anvaka

5 years ago

55 points

457.

WhatWG: Proposal – Update XPath to at least v2.0

github.com/whatwg

6 years ago

54 points

458.

Serious Engine – Serious Sam open-source engine (2016)

github.com/Croteam-official

7 years ago

54 points

459.

Espanso: Cross-Platform Text Expander Written in Rust

github.com/federico-terzi

6 years ago

50 points

460.

Kaldi Speech Recognition Toolkit

github.com/kaldi-asr

11 years ago

49 points

461.

Blackjack: Procedural, node-based graphics modeling tool

github.com/setzer22

4 years ago

48 points

462.

React Fiber Architecture: React's new core algorithm

github.com/acdlite

10 years ago

48 points

463.

A workshop on monads with C++14

github.com/joaquintides

11 years ago

44 points

464.

Rejit: a work-in-progress JIT-powered regex engine

github.com/kirbyfan64

10 years ago

43 points

465.

Korg volca sample SDK – a sample and sequence encoding library

github.com/korginc

12 years ago

37 points

466.

Applied Category Theory

github.com/statebox

7 years ago

34 points

467.

By the Bluebook implementation of Smalltalk-80

github.com/dbanay

6 years ago

33 points

468.

KSL: Kinematics subroutine library

github.com/shift-dynamics

7 years ago

31 points

469.

Awesome Tensorflow: A curated list of Tensorflow resources

github.com/jtoy

10 years ago

31 points

470.

Jellyfish: GPU rootkit PoC

github.com/x0r1

11 years ago

30 points

471.

MacHeap: OS X malloc introspection tool

github.com/blankwall

10 years ago

30 points

472.

Rethinkdb-lite: RethinkDB-compatible database written in Crystal

github.com/lbguilherme

5 years ago

28 points

473.

Iced: x86/x64 disassembler, assembler, decoder, encoder in Rust

github.com/0xd4d

6 years ago

27 points

474.

MacDBG: C and Python debugging framework for macOS

github.com/blankwall

10 years ago

25 points

475.

Modern Memory Safety: C/C++ Vulnerability Discovery, Exploitation, Hardening

github.com/struct

10 years ago

22 points

476.

Reverse Engineering Nintendo's Unknown6 Packet in PokemonGo

github.com/pkmngodev

10 years ago

19 points

477.

Show HN: Generate Google Play Music Playlists from BBC Playlister Urls

github.com/tavvy

10 years ago

19 points

478.

Hat Backup – Back-end-agnostic snapshotting backup system written in Rust

github.com/google

11 years ago

18 points

479.

Dorothy2: A malware and botnet analysis framework written in Ruby

github.com/m4rco-

12 years ago

17 points

480.

Idris 2 programming language announced

github.com/edwinb

7 years ago

17 points