-
rocketchat-push-gateway Public
A simple push notification gateway for Rocket.Chat servers written in Go.
-
mirage-tcpip Public
Forked from mirage/mirage-tcpipTCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
OCaml ISC License UpdatedNov 18, 2025 -
mirage-arp Public
Forked from mirage/arpAddress resolution protocol (ARP) implementation in OCaml targeting MirageOS
OCaml Other UpdatedNov 7, 2025 -
-
-
nitrokey-documentation Public
Forked from Nitrokey/nitrokey-documentationUser documentation of Nitrokey's products
CSS UpdatedAug 25, 2025 -
mirage-crypto Public
Forked from mirage/mirage-cryptoCryptographic primitives for OCaml, in OCaml (also used in MirageOS)
C ISC License UpdatedAug 7, 2025 -
ocaml-x509 Public
Forked from mirleft/ocaml-x509X509 (RFC5280) handling in OCaml
OCaml BSD 2-Clause "Simplified" License UpdatedAug 2, 2025 -
ocaml-cohttp Public
Forked from mirage/ocaml-cohttpVery lightweight HTTP server using Lwt or Async
OCaml Other UpdatedJul 19, 2025 -
telegram-claude Public
A customized Telegram bot with a Claude (Bring your own API key) backend. You can configure the bot's context and prompt in template settings.
Rust GNU General Public License v3.0 UpdatedJul 7, 2025 -
-
gurl Public
Simple secure URL shortener
Go GNU Affero General Public License v3.0 UpdatedApr 20, 2025 -
ocaml-protoc-plugin Public
Forked from andersfugmann/ocaml-protoc-pluginPlugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
OCaml Apache License 2.0 UpdatedFeb 25, 2025 -
dualjoy Public
Retro joystick USB adapter
-
dasharo-coreboot Public
Forked from Dasharo/corebootcoreboot component of Dasharo
C GNU General Public License v2.0 UpdatedNov 2, 2024 -
-
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedAug 23, 2024 -
nethsm Public
Forked from Nitrokey/nethsmNitrokey NetHSM system software and firmware
OCaml European Union Public License 1.2 UpdatedMay 7, 2024 -
gmp Public
Forked from gmp-mirror/gmpUnofficial mirror of GMP development branch
C GNU Lesser General Public License v3.0 UpdatedMay 2, 2024 -
-
nethsm-sdk-py Public
Forked from Nitrokey/nethsm-sdk-pyClient-side Python SDK for NetHSM
Python Apache License 2.0 UpdatedNov 15, 2023 -
-
-
fiano Public
Forked from linuxboot/fianoGo-based tools for modifying UEFI firmware
Go BSD 3-Clause "New" or "Revised" License UpdatedSep 5, 2023 -
planetchat Public
Forked from RocketChat/Rocket.Chat.ReactNativeRocket.Chat mobile clients
-
pcr0btg Public
Simple tool to reconstruct the PCR0 value for Boot Guard 1.0
Go MIT License UpdatedAug 17, 2023 -
ocaml-grpc Public
Forked from dialohq/ocaml-grpcgRPC library for OCaml
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJul 22, 2023 -
-
mastodon Public
Forked from mastodon/mastodonYour self-hosted, globally interconnected microblogging community
Ruby GNU Affero General Public License v3.0 UpdatedDec 2, 2022 -
u-root Public
Forked from u-root/u-rootA fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
Go BSD 3-Clause "New" or "Revised" License UpdatedOct 5, 2022
{{ message }}