Pinned Loading

1. 4koma 4koma Public

   A TOML 1.0 parser library for Kotlin

   Kotlin 83 16

2. selda selda Public

   A type-safe, high-level SQL library for Haskell

   Haskell 480 59

3. haste-compiler haste-compiler Public

   A GHC-based Haskell to JavaScript compiler

   Haskell 1.5k 105

4. TeamVoss/VossII TeamVoss/VossII Public

   The source code to the Voss II Hardware Verification Suite

   Verilog 58 14

5. koditoriet/totpm koditoriet/totpm Public

   A TPM-backed command line TOTP client. Like Google Authenticator in your terminal.

   Rust 3

6. koditoriet/fenris-authenticator koditoriet/fenris-authenticator Public

   Hardware-backed passkey provider and TOTP authenticator

   Kotlin 6 1