Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

505–528 of 987 · Most stars

An Ada binding generator from SVD descriptions for bare board ARM devices.

A total recursion scheme library for Dhall

  • dhall
  • recursion-schemes

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Password generator written in Golang, usable as a CLI or Go library. Provides options for human readable and accessibility friendly passwords.

  • golang
  • go
  • go-library
  • golang-library