Skip to content
@SoftwareFoundationGroupAtKyotoU

Software Foundation Group

Popular repositories Loading

  1. kuis-thesis-cover kuis-thesis-cover Public

    TeX 14 2

  2. VeriCUDA VeriCUDA Public

    Deductive verifier for CUDA

    OCaml 14 1

  3. SystemFg SystemFg Public

    Implementation of Polymorphic Gradual Typing

    OCaml 10

  4. dyro dyro Public

    Dyro: Dynamic Rust Ownership Verification

    Rust 8 1

  5. ContextWorkflow ContextWorkflow Public

    A DSL for Interruptible and Compensable Executions

    Scala 7 2

  6. consort consort Public

    OCaml 4 1

Repositories

Showing 10 of 28 repositories
  • probBBC Public
    SoftwareFoundationGroupAtKyotoU/probBBC’s past year of commit activity
    Python 1 BSD-2-Clause 1 0 2 Updated Sep 9, 2024
  • mirio Public Forked from rust-lang/miri

    Miri Extended with Ownership Checks

    SoftwareFoundationGroupAtKyotoU/mirio’s past year of commit activity
    Rust 1 Apache-2.0 346 0 0 Updated Sep 7, 2024
  • miniml-refenv Public

    Toy ML-style langauge for staged computation with refined environment classifiers

    SoftwareFoundationGroupAtKyotoU/miniml-refenv’s past year of commit activity
    OCaml 0 0 0 0 Updated Sep 3, 2024
  • tysurgery Public

    Artifacts of Type-Based Verification of Connectivity Constraints in Lattice Surgery

    SoftwareFoundationGroupAtKyotoU/tysurgery’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Sep 1, 2024
  • dyro Public

    Dyro: Dynamic Rust Ownership Verification

    SoftwareFoundationGroupAtKyotoU/dyro’s past year of commit activity
    Rust 8 MIT 1 0 1 Updated Sep 1, 2024
  • icon-why3 Public

    why3 plugin for icon project

    SoftwareFoundationGroupAtKyotoU/icon-why3’s past year of commit activity
    OCaml 0 4 5 1 Updated Apr 1, 2024
  • consort Public
    SoftwareFoundationGroupAtKyotoU/consort’s past year of commit activity
    OCaml 4 1 25 7 Updated Mar 21, 2024
  • homfa-runner-experiments Public Forked from ys7i/homfa-runner-experiments

    Running experiments of homfa-runner, homfa-converter.

    SoftwareFoundationGroupAtKyotoU/homfa-runner-experiments’s past year of commit activity
    Shell 0 1 0 0 Updated Mar 15, 2024
  • kuis-thesis-cover Public
    SoftwareFoundationGroupAtKyotoU/kuis-thesis-cover’s past year of commit activity
    TeX 14 2 0 0 Updated Feb 13, 2024
  • BOREx Public

    Implementation of the paper "BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image- and Video-Classification Models"

    SoftwareFoundationGroupAtKyotoU/BOREx’s past year of commit activity
    Jupyter Notebook 0 Apache-2.0 0 0 0 Updated Oct 8, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…