Search: github.com/mikr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Dafny: verification-aware programming language

github.com/Microsoft

8 years ago

78 points

302.

MoonMail: Serverless Framework for Sending Emails Using AWS SES and Lambda

github.com/microapps

10 years ago

77 points

303.

Microsoft Machine Learning Server Docker Image

github.com/johnpaulada

9 years ago

77 points

304.

Microsoft rewrote Q# compiler in Rust

github.com/microsoft

3 years ago

75 points

305.

End of Life for Azure Notebooks

github.com/microsoft

6 years ago

75 points

306.

Visual Studio Code is randomly erasing included header files with latest update

github.com/microsoft

4 years ago

75 points

307.

Show HN: Microfronts – Front-end solution for running multiple frameworks as one

github.com/eavichay

7 years ago

75 points

308.

Windows Subsystem for Linux 2.0 release

github.com/microsoft

3 years ago

74 points

309.

Microsoft WinObjC: Restore original licenses

github.com/Microsoft

11 years ago

74 points

310.

The Micro Python Project

github.com/micropython

12 years ago

74 points

311.

Microsoft on GitHub

github.com/Microsoft

12 years ago

73 points

312.

CBL-Mariner – Linux OS for Azure 1P services and edge appliances

github.com/microsoft

5 years ago

73 points

313.

Microwatt: A Tiny Open Power ISA Softcore Written in VHDL 2008

github.com/antonblanchard

7 years ago

73 points

314.

Kiota: OpenAPI-based HTTP client code generator

github.com/microsoft

2 years ago

72 points

315.

Pyjion – A JIT for Python based upon CoreCLR

github.com/Microsoft

10 years ago

72 points

316.

Project Malmö – A platform for AI experimentation and research in Minecraft

github.com/Microsoft

10 years ago

72 points

317.

Bistring – Bidirectionally Transformed Strings

github.com/microsoft

7 years ago

72 points

318.

RISC-V Vector Primer

github.com/simplex-micro

5 months ago

69 points

319.

VSCode Marketplace Web Pages No Longer Allow Direct VSIX Downloads

github.com/microsoft

a year ago

69 points

320.

VSCode Removes Twitter Integration

github.com/microsoft

3 years ago

68 points

321.

Microsoft open-sources natural language processing tool for survey data

github.com/microsoft

7 years ago

68 points

322.

Microsoft's Azure Linux

github.com/microsoft

5 months ago

66 points

323.

New VS Code icon is ugly

github.com/Microsoft

9 years ago

66 points

324.

Golymer – Create HTML custom elements with Go (GopherJS)

github.com/microo8

9 years ago

66 points

325.

Microsoft mangles VS Code protected properties to prevent UI customization

github.com/microsoft

3 years ago

throwawaybutwhy

65 points

326.

WinObjC – The Windows Bridge for iOS

github.com/microsoft

8 months ago

65 points

327.

VS Code was lost on shutdown with pending update (2018)

github.com/microsoft

6 years ago

64 points

328.

Windows File Manager (WinFile) repository archived on March 1, 2025

github.com/microsoft

a year ago

64 points

329.

OmniParser V2 – A simple screen parsing tool towards pure vision based GUI agent

github.com/microsoft

a year ago

64 points

330.

Severe performance penalty found in VSCode rendering loop

github.com/microsoft

8 months ago

63 points