Stars
- All languages
- Batchfile
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Crystal
- Dhall
- Dockerfile
- Elixir
- Elm
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Nim
- Nix
- OCaml
- PostScript
- PowerShell
- Python
- QML
- Raku
- ReScript
- Reason
- Red
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- Thrift
- TypeScript
- Typst
- Vim Script
- Zig
ScalaTags is a small XML/HTML construction library for Scala.
Webauthn / passkeys helper library to make your life easier. Client side, server side and demo included.
WebAuthn, Simplified. A collection of TypeScript-first libraries for simpler WebAuthn integration. Supports modern browsers, Node, Deno, and more.
A portable Java library for WebAuthn(Passkeys) server side verification
Assemble dune workspaces to build your project and its dependencies as a whole
Mirror of https://git.robur.coop/robur/webauthn/
A ReScript framework for building server-driven web sites and applications. Use familiar tech like JSX and the component model from React, combined with simple server driven client side technologie…
An OCaml library for HTTP clients and servers using Lwt or Async
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
A modern commutative diagram editor for the web.
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix
Kubernetes controller to create HSM ingress compatible secrets
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via…
A Git-compatible VCS that is both simple and powerful
Server-side Web Authentication library for Java https://www.w3.org/TR/webauthn/#rp-operations
The fastest way to create an HTML app