Popular repositories Loading

1. dart-webext dart-webext Public

   Shared Dart library for browser extensions (mirror)

   Dart

2. dart-inga dart-inga Public

   Inga, HTTP header and Cloudflare inspector in Dart (mirror)

   Dart

3. hilde hilde Public

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

   OCaml

4. hilde-wolly hilde-wolly Public

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

   Shell

5. hilde-rambo hilde-rambo Public

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

   Shell

6. hilde-mirco hilde-mirco Public

   MIRCO, a science kit in Hilde: Matrices, Interpolation, Random numbers, Calculus, Optimization (mirror)

   Shell