Search: github.com/seL4 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

The seL4 microkernel (github.com/seL4)

194 points

12 years ago

2.

The seL4 microkernel (github.com/seL4)

102 points

11 years ago

3.

1.0.0 release of Rust support for seL4 userspace (github.com/seL4)

7 points

2 years ago

4.

Rust-sel4: Rust support for seL4 userspace (github.com/seL4)

3 points

2 years ago

5.

Google Joins seL4 Foundation (github.com/seL4)

3 points

4 years ago

6.

SeL4 Specification and Proofs (github.com/seL4)

2 points

3 years ago

7.

Neptune OS: a WinNT personality of the seL4 microkernel (github.com/cl91)

142 points

4 years ago

8.

Show HN: Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel (github.com/PolySync)

10 points

8 years ago

9.

Show HN: Aperture – Flow Control for Cloud Apps (github.com/fluxninja)

7 points

4 years ago

10.

Show HN: Aperture Open Source Flow Control and Reliability Platform (github.com/fluxninja)

6 points

4 years ago

11.

Show HN: Scale your APIs with Aperture flow control (github.com/fluxninja)

5 points

4 years ago

12.

Show HN: Cohesix 0.4.0-alpha, a no-std control-plane OS (github.com/lukeb-aidev)

2 points

4 months ago

13.

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

10 points

4 years ago

14.

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

5 points

11 years ago

15.

Show HN: SelfCertForge, manage root CAs and self-signed certs on macOS/Windows (github.com/rbonestell)

5 points

23 days ago

16.

Show HN: Find Perfect App for Self Hosting (selfhosting.quest)

5 points

3 years ago

17.

Selficious: Manage your bookmarks and import your delicious ones (selficious.appspot.com)

4 points

15 years ago

18.

Show HN: SelenAI – Terminal AI pair-programmer with sandboxed Lua tools (github.com/Almclean)

4 points

7 months ago

19.

Ask HN: Self Hosting Your Podcast?

3 points

6 years ago

20.

Show HN: Running QR codes for YouTube audio (share moments with a scan) (github.com/bwagner)

3 points

8 months ago

21.

Ask HN: Anyone Running an Internal Pastebin?

2 points

3 years ago

22.

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

2 points

9 years ago

23.

Show HN: Run your own private DNS with Pi-hole, dnsdist and Caddy (github.com/allenhack638)

2 points

9 months ago

24.

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

1 point

14 years ago

25.

Show HN: I built a personalised HN digest to stop wasting 30min/day scrolling (hnscraper.com)

1 point

a year ago

26.

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

1 point

a year ago

27.

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

1 point

2 years ago

28.

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

1 point

10 years ago

29.

Select2 - A better way to make select boxes (with jQuery) (github.com/ivaynberg)

369 points

14 years ago

30.

“This is the worst documentation I have ever seen in my life” (github.com/amzn)

307 points

5 years ago