Higher Order Kind Reviews

A modern proof language

This is an exact mirror of the Higher Order Kind project, hosted at https://github.com/HigherOrderCO/Kind. SourceForge is not affiliated with Higher Order Kind.

Add a Review

Downloads: 0 This Week

Last Update: 2024-10-25

Download

Get an email when there's a new version of Higher Order Kind

Linux Mac Windows

User Ratings

Rate This Project

Featured

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free