Data

Tools

Indexes

Applications

Experiments

Open Source Science

realizability

Experiments with Realizability in Univalent Type Theory

https://github.com/rahulc29/realizability

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (4.0%) to scientific vocabulary

Keywords

category-theory cubical-type-theory realizability univalent-foundations univalent-mathematics univalent-type-theory
Last synced: 10 months ago · JSON representation ·

Repository

Experiments with Realizability in Univalent Type Theory

Basic Info
Statistics
  • Stars: 18
  • Watchers: 2
  • Forks: 1
  • Open Issues: 10
  • Releases: 1
Topics
category-theory cubical-type-theory realizability univalent-foundations univalent-mathematics univalent-type-theory
Created over 2 years ago · Last pushed over 1 year ago
Metadata Files
Readme License Citation

README.Docker.md

Building and running your application

When you're ready, start your application by running: docker compose up --build.

Deploying your application to the cloud

First, build your image, e.g.: docker build -t myapp .. If your cloud uses a different CPU architecture than your development machine (e.g., you are on a Mac M1 and your cloud provider is amd64), you'll want to build the image for that platform, e.g.: docker build --platform=linux/amd64 -t myapp ..

Then, push it to your registry, e.g. docker push myregistry.com/myapp.

Consult Docker's getting started docs for more detail on building and pushing.

Owner

  • Name: Rahul Chhabra
  • Login: rahulc29
  • Kind: user

I have a psedo-random thought process. I am a member of the tautology club, therefore, I am a member of the tautology club.

Citation (CITATION.cff) 

# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!

cff-version: 1.2.0
title: Experiments with Realizability in Cubical Agda
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Rahul
    family-names: Chhabra
    email: iit2021096@iiita.ac.in
    affiliation: 'Indian Institute of Information Technology, Allahabad'
repository-code: 'https://github.com/rahulc29/realizability'
url: 'https://rahulc29.github.io/realizability'
abstract: >-
  Accompanying code for realizability theory developed
  within univalent foundations.
license: Apache-2.0

GitHub Events

Total
  • Release event: 1
  • Watch event: 6
  • Issue comment event: 1
  • Push event: 4
  • Pull request event: 4
  • Create event: 1
Last Year
  • Release event: 1
  • Watch event: 6
  • Issue comment event: 1
  • Push event: 4
  • Pull request event: 4
  • Create event: 1