Pocket KrHyper Files

Status: Alpha

Brought to you by: lex48, tomklsf

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

Name	Modified	InfoDownloads / Week
Parent folder
0.9.3	2005-12-12	0
Totals: 1 Item		0

Other Useful Business Software

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

Grafana: The open and composable observability platform

Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

Grafana is the open source analytics & monitoring solution for every database.

Learn More

Recommended Projects

jcel
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
pocket-monsuta
Pocket monsuta is a project picking up where pokenet left off. Coded in java, pocket monsuta is an open source pokemon server/client.