Search: github.com/fsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com/google-deepmind)

4 points

a year ago

692.

Formatters, linters, and compilers: Oh my (github.com/readme)

4 points

3 years ago

693.

Microsoft's AI for Beginners (github.com/microsoft)

4 points

4 years ago

694.

Decompression Routines for Ancient Formats (github.com/temisu)

4 points

6 years ago

695.

The Forge: Rendering Library Used on Stormland and Tomb Raider Released (github.com/ConfettiFX)

4 points

6 years ago

696.

Free resources to learn any topic (github.com/aviaryan)

4 points

7 years ago

697.

Show HN: A Free Course in Deep Learning Using TensorFlow (github.com/open-source-for-science)

4 points

8 years ago

698.

CLI for Full Stack Engineers (github.com/nemild)

4 points

8 years ago

699.

Show HN: Datasets for start with Machine Learning (github.com/pplonski)

4 points

9 years ago

700.

Google Form Stripper (github.com/phazonoverload)

4 points

10 years ago

701.

Forth in a spreadsheet (github.com/tiluser)

4 points

10 years ago

702.

A Terminal UI (TUI) Alternative to GHelper for Asus ROG / TUF Laptops on Linux (github.com/Ichihiroy)

3 points

3 months ago

703.

Show HN: A browser extension that removes the algorithmic X 'For you' evil tab (github.com/alterebro)

3 points

a year ago

704.

Python Requests is getting an interesting alternative (github.com/psf)

3 points

2 years ago

705.

Show HN: Accurately transform words e.g. “election” – “elect”, “electoral” etc. (github.com/gutfeeling)

3 points

10 years ago

706.

A zelda sound will be played when your specs pass :) (github.com/Poilon)

3 points

11 years ago

707.

Anti-Forensics Tools (github.com/int0x80)

3 points

12 years ago

708.

Ubuntu Unity for Arch Linux (github.com/chenxiaolong)

3 points

12 years ago

709.

The smallest pixel art diffusion app using local AI on a mobile phone (github.com/cochranblock)

3 points

2 months ago

710.

Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com/savarin)

3 points

2 months ago

711.

Agentic Representation of Ecosystems (github.com/offtrailstudio)

3 points

3 months ago

712.

Paperfold for iOS (github.com/honcheng)

3 points

14 years ago

713.

Programming for Kids (github.com/jackdoe)

3 points

3 years ago

714.

Automating your communication between Visual Studio Code and ChatGPT (github.com/ivangabriele)

3 points

3 years ago

715.

Python for Coding Interviews (github.com/mmicu)

3 points

3 years ago

716.

Amazon Linux Hotpatch for Apache Log4j Needs a Patch (github.com/corretto)

3 points

4 years ago

717.

Soda – an open-source document API for Oracle Database (github.com/oracle)

3 points

6 years ago

718.

ForwardTacotron – Generating speech without attention (github.com/as-ideas)

3 points

6 years ago

719.

Show HN: Multipart/form-data parser based on Cython (supports parsing chunks) (github.com/siddhantgoel)

3 points

9 years ago

720.

React Form – A new lightweight framework and utility for building powerful forms (github.com/tannerlinsley)

3 points

10 years ago