Software Foundation Group

Pinned Repositories

automata
Language:Ruby3 10 14110
consort
Language:OCaml4 10 271
ContextWorkflow
A DSL for Interruptible and Compensable Executions
Language:Scala7 17 02
kuis-thesis-cover
Language:TeX14 15 02
kuisthesis-template
Language:TeX1 11 01
probBBC
Language:Python1 3 00
ryoko-ukagai
LaTeX macros for ryoko ukagai
Language:TeX1 13 00
stacksafe
Language:C++1 2 00
SystemFg
Implementation of Polymorphic Gradual Typing
Language:OCaml10 17 20
VeriCUDA
Deductive verifier for CUDA
Language:OCaml13 12 11

Software Foundation Group's Repositories

SoftwareFoundationGroupAtKyotoU/kuis-thesis-cover
Language:TeX14 15 02
SoftwareFoundationGroupAtKyotoU/VeriCUDA
Deductive verifier for CUDA
Language:OCaml13 12 11
SoftwareFoundationGroupAtKyotoU/SystemFg
Implementation of Polymorphic Gradual Typing
Language:OCaml10 17 20
SoftwareFoundationGroupAtKyotoU/ContextWorkflow
A DSL for Interruptible and Compensable Executions
Language:Scala7 17 02
SoftwareFoundationGroupAtKyotoU/consort
Language:OCaml4 10 271
SoftwareFoundationGroupAtKyotoU/automata
Language:Ruby3 10 14110
SoftwareFoundationGroupAtKyotoU/dimtype
Implementation of dimension type system
Language:OCaml1 15 10
SoftwareFoundationGroupAtKyotoU/kuisthesis-template
Language:TeX1 11 01
SoftwareFoundationGroupAtKyotoU/probBBC
Language:Python1 3 00
SoftwareFoundationGroupAtKyotoU/ryoko-ukagai
LaTeX macros for ryoko ukagai
Language:TeX1 13 00
SoftwareFoundationGroupAtKyotoU/stacksafe
Language:C++1 2 00
SoftwareFoundationGroupAtKyotoU/gear
0 13 00
SoftwareFoundationGroupAtKyotoU/bibman
Bibliography Manager
Language:JavaScript10 0
SoftwareFoundationGroupAtKyotoU/bibman-docker-compose
Language:Dockerfile10 0
SoftwareFoundationGroupAtKyotoU/BOREx
Implementation of the paper "BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image- and Video-Classification Models"
Language:Jupyter Notebook10 0
SoftwareFoundationGroupAtKyotoU/classroom-scripts
Shell scripts for managing students' repositories
Language:Shell10 0
SoftwareFoundationGroupAtKyotoU/consort-public
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.
Language:OCaml11 0
SoftwareFoundationGroupAtKyotoU/GriftForked
A compiler for the gradually typed lambda calculus
Language:C2 0
SoftwareFoundationGroupAtKyotoU/helmholtz-doc
Documentation of Helmholtz
Language:CSS11 0
SoftwareFoundationGroupAtKyotoU/homfa-runner-experiments
Running experiments of homfa-runner, homfa-converter.
Language:Shell1 0
SoftwareFoundationGroupAtKyotoU/icon-why3
why3 plugin for icon project
Language:OCaml8 74
SoftwareFoundationGroupAtKyotoU/miniml-refenv
Toy ML-style langauge for staged computation with refined environment classifiers
Language:OCaml
SoftwareFoundationGroupAtKyotoU/ocaml-ctypes-cbuf
Language:OCaml2 0
SoftwareFoundationGroupAtKyotoU/ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
Language:OCaml1 0
SoftwareFoundationGroupAtKyotoU/SoftwareFoundationGroupAtKyotoU.github.io
13 0