#

hilde

Here are 3 public repositories matching this topic...

heikozim / hilde-rambo

RAMBO, an OpenID provider with passkeys, written in Hilde on Wolly (mirror)

oauth2 openid-connect identity-provider passkeys hilde

Updated Oct 29, 2026
Shell

heikozim / hilde-wolly

A web framework in Hilde: Web-ready, OpenBSD-first, Linear, Lean, Yours (mirror)

openbsd web-framework fastcgi linear-types hilde

Updated Nov 8, 2026
Shell

heikozim / hilde

Hilde programming language: High-Integrity, Linear, Deterministic, Explicit (mirror)

c programming-language compiler systems-programming design-by-contract linear-types austral hilde

Updated Nov 9, 2026
OCaml

Add this topic to your repo

To associate your repository with the hilde topic, visit your repo's landing page and select "manage topics."