Search: github.com/seL4 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

The seL4 microkernel

github.com/seL4

12 years ago

194 points

2.

The seL4 microkernel

github.com/seL4

11 years ago

102 points

3.

1.0.0 release of Rust support for seL4 userspace

github.com/seL4

2 years ago

7 points

4.

Rust-sel4: Rust support for seL4 userspace

github.com/seL4

2 years ago

3 points

5.

Google Joins seL4 Foundation

github.com/seL4

4 years ago

3 points

6.

SeL4 Specification and Proofs

github.com/seL4

3 years ago

2 points

7.

Neptune OS: a WinNT personality of the seL4 microkernel

github.com/cl91

4 years ago

142 points

8.

Show HN: Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel

github.com/PolySync

8 years ago

10 points

9.

Show HN: Aperture – Flow Control for Cloud Apps

github.com/fluxninja

4 years ago

7 points

10.

Show HN: Aperture Open Source Flow Control and Reliability Platform

github.com/fluxninja

4 years ago

6 points

11.

Show HN: Scale your APIs with Aperture flow control

github.com/fluxninja

4 years ago

5 points

12.

Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS

github.com/lukeb-aidev

5 months ago

2 points

13.

Show HN: Py-obsidianmd, a Python library for Obsidian users

4 years ago

10 points

14.

Ask HN: Finding remote work as a half/full-time student?

11 years ago

5 points

15.

Show HN: SelfCertForge, manage root CAs and self-signed certs on macOS/Windows

github.com/rbonestell

a month ago

5 points

16.

Show HN: Find Perfect App for Self Hosting

selfhosting.quest

3 years ago

5 points

17.

Selficious: Manage your bookmarks and import your delicious ones

selficious.appspot.com

16 years ago

4 points

18.

Show HN: SelenAI – Terminal AI pair-programmer with sandboxed Lua tools

github.com/Almclean

7 months ago

4 points

19.

Ask HN: Self Hosting Your Podcast?

6 years ago

3 points

20.

Show HN: Running QR codes for YouTube audio (share moments with a scan)

github.com/bwagner

9 months ago

3 points

21.

Ask HN: Anyone Running an Internal Pastebin?

3 years ago

2 points

22.

Ask HN: Open source rules engine for categorizing applications by productivity?

9 years ago

2 points

23.

Show HN: Run your own private DNS with Pi-hole, dnsdist and Caddy

github.com/allenhack638

10 months ago

2 points

24.

Ask HN: What is your experience with BlackBerry 10, Windows 8 & Firefox OS?

14 years ago

1 points

25.

Show HN: I built a personalised HN digest to stop wasting 30min/day scrolling

a year ago

1 points

26.

Ask HN: OSS devs, what are your experiences working with corporate sponsors?

a year ago

1 points

27.

Show HN: It's API doc generator like Stripe, direct from back end (free)

2 years ago

1 points

28.

Ask HN: What underrated GitHub repos you found in August?

10 years ago

1 points

29.

Select2 - A better way to make select boxes (with jQuery)

github.com/ivaynberg

14 years ago

369 points

30.

“This is the worst documentation I have ever seen in my life”

github.com/amzn

6 years ago

307 points