A Lean 4 formalization of René Dybkær's An Ontology on Property for Physical, Chemical, and Biological Systems (2009)
☆12Nov 5, 2026Updated this week
Alternatives and similar repositories for PropertyKindCalculus
Users that are interested in PropertyKindCalculus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated 2 months ago
- CWRC ontology - primary repository☆14Sep 7, 2026Updated last month
- A go implementation of the Schnorr Signature Scheme☆10Jan 19, 2017Updated 9 years ago
- ScalaJS Component System☆13Updated this week
- A Social networking portal written using Scala, JavaScript and Node☆11Feb 3, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Devise-like authentication library for Http4s☆15Aug 7, 2026Updated 2 months ago
- VecoLuc is a scalable vector search engine that leverages Apache Lucene and the JDK's incubator vector API for high-performance vector op…☆11Aug 22, 2024Updated 2 years ago
- Secure File Transfer with Diffie-Hellman Key Agreement Protocol and AES on Java☆12May 11, 2016Updated 10 years ago
- Persian text library☆11Jul 26, 2013Updated 13 years ago
- ☆15Oct 28, 2026Updated last week
- Enable Bypass functionality in Active Workspace☆13Dec 14, 2021Updated 4 years ago
- Scripts we use to automate our home☆22Jul 2, 2024Updated 2 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated 2 years ago
- Uniformly Scaling Flows☆20Sep 26, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Scala library for efficient multi-dimensional arrays☆12Oct 8, 2026Updated 3 weeks ago
- ☆11Dec 27, 2023Updated 2 years ago
- Full stack Scala 3 with Smithy4s☆10Sep 27, 2025Updated last year
- [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks☆14Nov 29, 2025Updated 11 months ago
- ANAL: a token-lean format for agent-to-agent data☆14Sep 6, 2026Updated 2 months ago
- lyo.designer☆17Updated this week
- This sample demonstrates how to manage your Azure virtual machines using a .NET client☆12Jul 7, 2023Updated 3 years ago
- PHPStan rules for elegant objects☆11Oct 12, 2026Updated 3 weeks ago
- ☆11Feb 25, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Functional SMTP client for Scala with AWS SES support and MIME/TLS/auth enhancements☆10Oct 3, 2026Updated last month
- Anusaaraka is an English-Hindi language accessing software. It is a machine translation tool with insights from Panini's Ashtadhyayi (Gra…☆10Aug 24, 2020Updated 6 years ago
- A Sublime Editor plugin that can display RTL content correctly☆11Jun 13, 2021Updated 5 years ago
- Open Cyber Range for Evaluating Long-Horizon Cyber Capabilites of Frontier Models☆16Aug 21, 2026Updated 2 months ago
- Blockchain Certificates and cryptographic materials Docker☆12Jul 16, 2019Updated 7 years ago
- A configuration library without any magic☆15Oct 5, 2026Updated last month
- In this lab we will guide you through the process of deploying a **static website** to AWS Elastic Beanstalk.☆14Dec 10, 2022Updated 3 years ago
- An ontology and inventory of geopolitical entities (such as sovereign states and their administrative subdivisions) as well as various ge…☆13Feb 19, 2025Updated last year
- Smithy4s client directly using Fetch APIs, without bringing http4s/cats, to dramatically reduce bundle size☆14Jun 1, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A series of introductory instructional python notebooks, for computational number theory.☆17Feb 12, 2018Updated 8 years ago
- A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**☆13Updated this week
- 🗳️ Prediction and curation of semantic mappings in SSSOM☆12Aug 26, 2026Updated 2 months ago
- This repository contains the ontology for the Anatomy of the Insect SkeletoMuscular system (AISM), which contains terms used to describe …☆12Feb 14, 2026Updated 8 months ago
- Work out how far apart things should be (very quickly)☆11Dec 20, 2025Updated 10 months ago
- N2O: Application Server☆14Nov 22, 2022Updated 3 years ago
- Wikidata properties☆10Aug 12, 2026Updated 2 months ago