istarilogic.org↗
The Istari Proof Assistant, User’s Guide | Istari
Sites sharing its less common technologies
| Rank | Site | Description | Technologies |
|---|---|---|---|
| 45 | Websites for you and your projects, hosted directly from your GitHub repository. Just edit, push, and your changes are live. | Jekyll+4+5 | |
| 265 | Semantic Versioning spec and website | Jekyll+1 | |
| 489 | Transform your plain text into static websites and blogs | Jekyll+1+2 | |
| Ad | Serpex Search APIserpex.dev | The fast, affordable search API for AI & data projects. | Google Analytics |
| 989 | Check end-of-life, support schedule, and release timelines for more than 380+ products at one place. | Jekyll+1+2 | |
| 1307 | The Python runtime on the JVM | Jekyll+1 | |
| 1818 | The Package Manager for Everywhere. | Jekyll+2+3 | |
| 2146 | Disability rights are civil rights. From voting to parking, the ADA is a law that protects people with disabilities in many areas of public life. | Google Analytics+3+4 | |
| 3799 | Discourse is the customizable, scalable community platform powering more than 22,000 communities that create knowledge through conversation. | Ahrefs+2+3 | |
| 4015 | Non-judgmental guidance on choosing a license for your open source project | Jekyll+1 | |
| 4637 | Trino is a high performance, distributed SQL query engine for big data. | Google Ads+8+9 |
Is this your site? Request removal of the istarilogic.org page.