Search: github.com/ido | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Idris 2 0.6.0 is now available for the JVM

github.com/mmhelloworld

3 years ago

162 points

512.

The shortest pull request ever

github.com/spyder-ide

4 years ago

133 points

513.

The random number generator of DOOM

github.com/id-Software

11 years ago

115 points

514.

One Hundred Ideas for Computing

github.com/samsquire

5 years ago

114 points

515.

Extra Ideas for Computing

github.com/samsquire

6 years ago

110 points

516.

Show HN: Erlang code generator for Idris 2

github.com/chrrasmussen

6 years ago

98 points

517.

github.com/KesterTong

12 years ago

84 points

518.

Show HN: Record all your web browsing with fully searchable screenshots

github.com/idibidiart

12 years ago

82 points

519.

Brainstorm – Deep Learning library, successor to PyBrain

github.com/IDSIA

11 years ago

78 points

520.

iCloud Apple ID Brute Forcer

github.com/Pr0x13

11 years ago

68 points

521.

Git-random: Chrome extension replaces new tab with random GitHub user's profile

github.com/Idnan

10 years ago

65 points

522.

GitHub issue calling for retraction of Imperial College study for codebase flaws

github.com/mrc-ide

6 years ago

57 points

523.

Imperial College London have released their Covid-19 epidemic simulation

github.com/mrc-ide

6 years ago

57 points

524.

Copatterns in Idris

github.com/idris-lang

12 years ago

56 points

525.

Theia: A cloud and desktop IDE framework implemented in TypeScript

github.com/theia-ide

7 years ago

50 points

526.

Show HN: Ideogram 4.0 – open-weight 9.3B text-to-image model

github.com/ideogram-oss

21 days ago

46 points

527.

Show HN: Id-agent – Token efficient UUID alternative for AI agents

github.com/vostride

a month ago

pranshuchittora

42 points

528.

Show HN: Nucleus – A security-hardened, Nix-native container runtime

github.com/sig-id

15 days ago

40 points

529.

Idaesbasic – open-source todolists, kanban and more, all stored in local files

github.com/BenHerbst

5 years ago

40 points

530.

JavaScript Port of TLSH (Trend Micro Locality Sensitive Hash)

github.com/idealista

8 years ago

40 points

531.

github.com/necolas

14 years ago

38 points

532.

Java Code Generator for Idris

github.com/idris-hackers

11 years ago

34 points

533.

Furnish JavaScript - Let the classes on DOM elements generate the CSS for you

github.com/Idnan

10 years ago

30 points

534.

Show HN: Spectre exploit demo

github.com/idea4good

8 years ago

26 points

535.

Another 85 Ideas for Computing

github.com/samsquire

6 years ago

25 points

536.

An IDA Pro Plugin for embedding an IPython Kernel

github.com/james91b

11 years ago

24 points

537.

Show HN: GuiLite – UI framework for all platforms

github.com/idea4good

8 years ago

19 points

538.

Uniqueness types in Idris

github.com/idris-lang

12 years ago

19 points

539.

Design/Layout GUI with Visual Studio Code

github.com/idea4good

7 years ago

19 points

540.

Country-coder: Convert lat/lon to country code locally

github.com/ideditor

6 years ago

18 points