Higher Order Kind Files

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. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
kind-scm_1.0.1-0_amd64.deb	2021-08-20	3.1 MB	0
kind-scm 1.0.93 source code.tar.gz	2021-08-20	5.8 MB	0
kind-scm 1.0.93 source code.zip	2021-08-20	6.8 MB	0
Totals: 3 Items		15.8 MB	0

Other Useful Business Software

Simple Scheduling Software

To Streamline Operations And Drive Productivity.

Visual Planning is a simple yet powerful resource management and scheduling solution. Thousands of organizations are using it to share schedules with colleagues and work together more efficiently.

Learn More

Share your screen instantly while on a phone call with CrankWheel for an engaging presentation.

For salespeople and customer service agents who want to compliment their phone calls with visual elements.

Our 10x simpler screen sharing tool is designed for you if you spend your days on the phone with clients, and need to add a visual presentation to close sales. No more scheduling a follow-up meeting, or teaching them to use a complex tool. Send them a text message or email, and they see your screen in seconds.

Learn More

Recommended Projects

kind
Kubernetes IN Docker - local clusters for testing Kubernetes
MCP Server Kubernetes
MCP Server for kubernetes management commands
minikube
Sets up a local Kubernetes cluster to run it
vcluster
Create fully functional virtual Kubernetes clusters
The Unicon Project
A modern descendant of the Icon programming language.

Higher Order Kind Files

A modern proof language

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