Pinned Loading

1. 4koma 4koma Public

   A TOML 1.0 parser library for Kotlin

   Kotlin 81 18

2. selda selda Public

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

   Haskell 478 59

3. haste-compiler haste-compiler Public

   A GHC-based Haskell to JavaScript compiler

   Haskell 1.5k 107

4. TeamVoss/VossII TeamVoss/VossII Public

   The source code to the Voss II Hardware Verification Suite

   Verilog 56 13

5. koditoriet/totpm koditoriet/totpm Public

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

   Rust 2

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

   Really secure passkey provider and TOTP authenticator

   Kotlin 1