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 30 repositories
  • lambda-dti-compiler Public Forked from ymyzk/lambda-dti

    Interpreter of the ITGL with dynamic type inference

    SoftwareFoundationGroupAtKyotoU/lambda-dti-compiler’s past year of commit activity
    OCaml 0 MIT 3 0 0 Updated Nov 18, 2024
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    SoftwareFoundationGroupAtKyotoU/rust’s past year of commit activity
    Rust 1 13,360 0 0 Updated Nov 11, 2024
  • miri Public Forked from rust-lang/miri

    Miri Extended with Ownership Checks

    SoftwareFoundationGroupAtKyotoU/miri’s past year of commit activity
    Rust 1 Apache-2.0 363 0 0 Updated Nov 5, 2024
  • ott-tuto-stlc Public Forked from gfngfn/ott-paper-template

    A template for writing papers using Ott (https://github.com/ott-lang/ott)

    SoftwareFoundationGroupAtKyotoU/ott-tuto-stlc’s past year of commit activity
    TeX 0 2 0 0 Updated Oct 19, 2024
  • probBBC Public
    SoftwareFoundationGroupAtKyotoU/probBBC’s past year of commit activity
    Python 1 BSD-2-Clause 1 0 2 Updated Sep 9, 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 1 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
View all repositories

Top languages

Loading…

Most used topics

Loading…