Search: github.com/thp | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

812.

Android apps making use of Shizuku (github.com/ThePBone)

3 points

3 years ago

813.

Inkwell – New Kind of Wrapper for Exposing LLVM in Rust (github.com/TheDan64)

3 points

3 years ago

814.

Original C++11 Containers (github.com/Thermadiag)

3 points

3 years ago

815.

OpenROAD: Open IC Design Sythesis from Verilog (github.com/The-OpenROAD-Project)

3 points

3 years ago

816.

Blocks.css – Add some dimension to your page with blocks (github.com/thesephist)

3 points

3 years ago

817.

Bread: Bios Reverse Engineering and Advanced Debugging (github.com/Theldus)

3 points

3 years ago

818.

The HustleGPT Challenge: Curated List of HustleGPT Endeavors (github.com/jtmuller5)

3 points

3 years ago

819.

The HustleGPT Challenge Tracker (github.com/jtmuller5)

3 points

3 years ago

820.

Awesome Coding Camps – A curated list of Coding Bootcamps (github.com/theodesp)

3 points

peter_d_sherman

3 years ago

821.

Show HN: Codesearch, a command-line tool for searching your codebase (github.com/TheArchitect4855)

3 points

3 years ago

822.

Website Meta Language is an offline HTML preprocessor, dating back to the 1990s (github.com/thewml)

3 points

3 years ago

823.

Legal NLP Dataset With Over 39,000 Examples (github.com/TheAtticusProject)

3 points

3 years ago

824.

Open source business analytics dashboard (github.com/ThePlugJumbo)

3 points

4 years ago

825.

Create masks on existing images to allow Stable Diffusion Inpainting (github.com/ThereforeGames)

3 points

lifeisstillgood

4 years ago

826.

Clean my macOS: Developer friendly command line tool (github.com/thelamehacker)

3 points

4 years ago

827.

A curated list to learn about distributed systems (github.com/theanalyst)

3 points

4 years ago

828.

Vanilla Conquer is a fully portable version of the first generation C&C engine (github.com/TheAssemblyArmada)

3 points

4 years ago

829.

Mrustc Bootstraps Rustc 1.54.0 (github.com/thepowersgang)

3 points

4 years ago

830.

Delete everything from anyone's repositories on GitHub (like torvalds/Linux) (github.com/TheBinitGhimire)

3 points

thebinitghimire

4 years ago

831.

Static site generator for making web mixtapes in 2022 (github.com/thebaer)

3 points

4 years ago

832.

Algorithms Implemented in Go (For Education) (github.com/TheAlgorithms)

3 points

4 years ago

833.

Hide Podcasts on Spotify (github.com/theRealPadster)

3 points

4 years ago

834.

Show HN: Nosigsegv – Say goodbye to crashes in your Go apps (github.com/thebabush)

3 points

4 years ago

835.

Show HN: Discord bot for Advent of Code private leaderboard (and more) (github.com/TheFutureGadgetsLab)

3 points

5 years ago

836.

Show HN: Trunk – an open source language learning application (github.com/theiceshelf)

3 points

5 years ago

837.

React Pagination Utils (github.com/TheRusskiy)

3 points

5 years ago

838.

FastUUID is a library which provides CPython bindings to Rust's UUID library (github.com/thedrow)

3 points

5 years ago

839.

Monocle, a universal, personal search engine (github.com/thesephist)

3 points

5 years ago

840.

The Book of Secret Knowledge (github.com/trimstray)

3 points

5 years ago