Repository Index

47,133 repositories indexed

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Archived

Clear all filters

1–2 of 2 · Most stars

Topic: name-generation

s0rg /fantasyname

Go441

RinkWorks fantasy name generator for golang

EngineeringSoftware /roosterize

Tool for suggesting lemma names in Coq verification projects