Search: github.com/seL4 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Show HN: An encoding of the UK's self-isolation rules in Prolog (github.com/jamespwilliams)

108 points

5 years ago

722.

Dim, a self-hosted media manager (github.com/Dusk-Labs)

108 points

4 years ago

723.

Blaise – A modern self-hosting zero-legacy Object Pascal compiler targeting QBE (github.com/graemeg)

107 points

peter_d_sherman

a month ago

724.

Show HN: BillaBear – Self-Hosted SaaS Subscription Management and Billing (github.com/billabear)

107 points

3 years ago

725.

Show HN: I made a script to generate self-signed SSL certs for local development (github.com/kingkool68)

107 points

8 years ago

726.

Show HN: Alien – Self-hosting with remote management (written in Rust)

106 points

2 months ago

727.

Typr – TUI typing test with a word selection algorithm inspired by keybr (github.com/Sakura-sx)

106 points

a year ago

728.

Show HN: A Web Extension to save a page or selection as eBook (github.com/alexadam)

106 points

10 years ago

729.

Show HN: I built a self-hosted status page and monitoring tool for my projects (github.com/goksan)

103 points

2 years ago

730.

Show HN: Sourcebot – Self-hosted Perplexity for your codebase (github.com/sourcebot-dev)

103 points

10 months ago

731.

Ending support for self-hosted Gitpod and moving our source to AGPL (github.com/gitpod-io)

102 points

3 years ago

732.

Self-Hosted “SQL-Not-required” Data Analytics and BI Tool. Inspired by Looker (github.com/mariusandra)

102 points

9 years ago

733.

Show HN: Alaz: Open-Source, Self-Hosted, eBPF-Based K8s Monitoring (github.com/ddosify)

101 points

3 years ago

734.

Show HN: Desert Atlas, a self-hosted OpenStreetMap app for Sandstorm (sandstorm.org)

101 points

3 years ago

735.

Show HN: Dittofeed – 1-Click deploy, self-host Mailchimp alternative (github.com/dittofeed)

100 points

3 years ago

736.

Show HN: Yaade – An open-source, self-hosted, collaborative API dev environment (github.com/EsperoTech)

100 points

4 years ago

737.

Schism, a self-hosting Scheme to WebAssembly compiler (github.com/google)

99 points

7 years ago

738.

Revealing example of self-attention, the building block of transformer AI models (github.com/jostmey)

98 points

3 years ago

739.

Databag – tiny self-hosted federated messenger for the decentralized web (github.com/balzack)

97 points

3 years ago

740.

Show HN: Self-Host Next.js in Production (github.com/opennextjs)

95 points

2 years ago

741.

Bestline: Light self-contained readline alternative (github.com/jart)

95 points

5 years ago

742.

Show HN: Magnetico – self-hosted BitTorrent DHT search engine suite (github.com/boramalper)

95 points

9 years ago

743.

Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com/fourlexboehm)

95 points

a year ago

744.

Show HN: Yazz Pilot – Self Service Apps Without the IT Department (github.com/zubairq)

95 points

6 years ago

745.

Kubermesh: self-hosted/healing/provisioning, partial-mesh network K8s cluster (github.com/kubermesh)

95 points

9 years ago

746.

JSONlite – A self-contained, serverless, zero-configuration, JSON document store (github.com/nodesocket)

94 points

11 years ago

747.

Show HN: Kula – Lightweight, self-contained Linux server monitoring tool (github.com/c0m4r)

93 points

3 months ago

748.

Cracked – Method chaining/CSS-style selector web audio library (github.com/billorcutt)

92 points

a year ago

749.

Donkeycar: A Python self driving library (github.com/autorope)

92 points

3 years ago

750.

Insights – Open-Source Self-Hosted Business Intelligence Platform (github.com/mariusandra)

91 points

6 years ago