Twelf

implementation of the logical framework LF

Wikidata: Q7666857

Programming Language Influence Poster

➡️ Influence Network Poster

Hack the Planet Merchandise Preview

➡️ Hack the Planet

Search on GitHub

ℹ️ Click on a column heading to sort the results.
Name	Description	Last pushed to	Open issues	Forks	Stars	Size

Latest data update: 2022-09-16