Repositories list

• kuis-thesis-cover

  Public
  platextex

  TeX

  •2•16•0•0•Updated Jan 27, 2025Jan 27, 2025

• lambda-dti-compiler

  Public
  Interpreter of the ITGL with dynamic type inference

  OCaml

  •

  MIT License

  •3•0•0•0•Updated Jan 18, 2025Jan 18, 2025

• rust

  Public
  Empowering everyone to build reliable and efficient software.

  Rust

  •

  Other

  •13k•1•0•0•Updated Dec 21, 2024Dec 21, 2024

• ott-tuto-stlc

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

  TeX

  •4•0•0•0•Updated Dec 5, 2024Dec 5, 2024

• miri

  Public
  Miri Extended with Ownership Checks

  Rust

  •

  Apache License 2.0

  •356•1•0•0•Updated Nov 5, 2024Nov 5, 2024

• probBBC

  Public
  Python

  •

  BSD 2-Clause "Simplified" License

  •1•1•0•2•Updated Sep 9, 2024Sep 9, 2024

• miniml-refenv

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

  OCaml

  •0•1•0•0•Updated Sep 3, 2024Sep 3, 2024

• tysurgery

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

  Rust

  •

  MIT License

  •0•0•0•0•Updated Sep 1, 2024Sep 1, 2024

• dyro

  Public
  Dyro: Dynamic Rust Ownership Verification

  Rust

  •

  MIT License

  •1•8•0•1•Updated Sep 1, 2024Sep 1, 2024

• icon-why3

  Public
  why3 plugin for icon project

  OCaml

  •4•0•5•1•Updated Apr 1, 2024Apr 1, 2024

• consort

  Public
  OCaml

  •1•4•25•7•Updated Mar 21, 2024Mar 21, 2024

• homfa-runner-experiments

  Public
  Running experiments of homfa-runner, homfa-converter.

  Shell

  •1•0•0•0•Updated Mar 15, 2024Mar 15, 2024

• ocaml-ctypes-cbuf

  Public
  OCaml

  •

  MIT License

  •0•0•0•1•Updated Mar 9, 2022Mar 9, 2022

• ocaml-sodium

  Public
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

  OCaml

  •27•0•0•1•Updated Jan 26, 2022Jan 26, 2022

• bibman-docker-compose

  Public
  Dockerfile

  •0•0•0•0•Updated Oct 19, 2021Oct 19, 2021

• bibman

  Public
  Bibliography Manager

  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Oct 19, 2021Oct 19, 2021

• consort-public

  Public archive
  This is NOT a development repository for Consort; it is provided as a snapshot of our ESOP 2020 work on Consort for other interested researchers.

  OCaml

  •0•0•0•0•Updated Sep 18, 2021Sep 18, 2021

• helmholtz-doc

  Public
  Documentation of Helmholtz

  CSS

  •0•0•0•0•Updated Aug 3, 2021Aug 3, 2021

• stacksafe

  Public
  C++

  •

  MIT License

  •0•1•0•0•Updated Feb 1, 2021Feb 1, 2021

• kuisthesis-template

  Public
  TeX

  •1•1•0•0•Updated Jan 18, 2021Jan 18, 2021

• GriftForked

  Public
  A compiler for the gradually typed lambda calculus

  C

  •

  MIT License

  •11•0•0•0•Updated Mar 19, 2020Mar 19, 2020

• classroom-scripts

  Public
  Shell scripts for managing students' repositories

  Shell

  •0•0•0•0•Updated Dec 2, 2018Dec 2, 2018

• SystemFg

  Public
  Implementation of Polymorphic Gradual Typing

  OCaml

  •0•10•0•0•Updated Sep 16, 2018Sep 16, 2018

• ContextWorkflow

  Public
  A DSL for Interruptible and Compensable Executions

  Scala

  •

  MIT License

  •2•7•0•0•Updated Jul 28, 2018Jul 28, 2018

• automata

  Public archive
  Ruby

  •

  Other

  •10•3•42•7•Updated May 12, 2017May 12, 2017

• VeriCUDA

  Public
  Deductive verifier for CUDA

  OCaml

  •1•14•1•0•Updated Dec 19, 2016Dec 19, 2016

• dimtype

  Public
  Implementation of dimension type system

  OCaml

  •0•1•1•0•Updated May 18, 2016May 18, 2016

• gear

  Public
  0•0•0•0•Updated Mar 15, 2016Mar 15, 2016

• SoftwareFoundationGroupAtKyotoU.github.io

  Public
  0•0•0•0•Updated Jan 17, 2015Jan 17, 2015

• ryoko-ukagai

  Public
  LaTeX macros for ryoko ukagai

  TeX

  •

  The Unlicense

  •0•1•0•0•Updated Dec 18, 2014Dec 18, 2014