Search: github.com/soal | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Discharging Lean goals into SMT solvers

github.com/ufmg-smite

2 years ago

52 points

782.

Exporting image assets from ethereum smart contract with solidity

github.com/dezmou

5 years ago

50 points

783.

Solving Sudoku with the Python package resolver

github.com/konstin

2 years ago

49 points

784.

Frosted Glass/Panel Effect, Cross Browser Solution, Vanilla JavaScript and CSS

github.com/cryptodescriptor

7 years ago

48 points

785.

Solving a puzzle using the Isabelle proof assistant

gist.github.com

8 years ago

48 points

786.

Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience

a year ago

48 points

787.

Constrain – Interactive figures using declarative constraint solving

github.com/andrewcmyers

3 years ago

48 points

788.

C++ Code for Quantum Many Body Solutions with Artificial Neural Networks

github.com/HaoZeke

9 years ago

48 points

789.

Releasing my Texas holdem solver (opensourced)

github.com/bupticybee

5 years ago

47 points

790.

Show HN: Chainloop, A Software Supply Chain Attestation solution devs won't hate

github.com/chainloop-dev

3 years ago

45 points

791.

Demos of Stream Processing Solving Real-World Problems

github.com/risingwavelabs

a year ago

45 points

792.

Tasklets: a more ergonomic solution to WebWorkers

github.com/GoogleChromeLabs

9 years ago

44 points

793.

Solitaire with text-based interface in C

github.com/jborza

6 years ago

44 points

794.

Proof-of-Work is the only solution to Byzantine Generals' problem

gist.github.com

8 years ago

41 points

795.

Show HN: Solving the ~95% legislative coverage gap using LLM's

6 months ago

41 points

796.

SpaceWeather: Correlate solar activity with system health and outages

github.com/Graylog2

11 years ago

lennartkoopmann

41 points

797.

Don't be stupid: Grasp SOLID

nikic.github.com

14 years ago

39 points

798.

Show HN: a18n – Automated I18n JavaScript Solution

github.com/FallenMax

6 years ago

39 points

799.

Show HN: A pure Swift port of the Cassowary linear constraints solver

github.com/tribalworldwidelondon

9 years ago

39 points

800.

Blender CAD Tools is a collection of Blender addons for solid modeling

github.com/EleotleCram

5 years ago

38 points

801.

How to solve hard (technical) problems

github.com/kmille

6 years ago

38 points

802.

Show HN: IEEE Micromouse simulator – write and test maze-solving code

github.com/mackorone

7 years ago

38 points

803.

Think you're a ruby guru? Help solve this non-trivial RSpec bug

github.com/rspec

15 years ago

37 points

804.

Fescar: High-performance, Java-based, OSS distributed transaction solution

github.com/alibaba

7 years ago

36 points

805.

Superfunctions: A universal solution against sync/async fragmentation in Python

github.com/pomponchik

a year ago

35 points

806.

UltiSnips – Snippet Solution for Vim

github.com/SirVer

3 years ago

35 points

807.

Show HN: Apprise – A lightweight all-in-one notification solution (update)

github.com/caronc

7 years ago

35 points

808.

Solution to Wi-Fi problems on HP laptops with Realtek RTL8723BE NICs (2016)

github.com/tarunbatra

9 years ago

34 points

809.

Solving the KAYAK crossword puzzle with code

github.com/stepanbujnak

11 years ago

34 points

810.

Show HN: Pegma, an open-source version of the classic Peg solitaire

pegma.vercel.app

7 months ago

33 points