Software Foundation Group

Software Foundation Group's repositories

kuis-thesis-cover

Language:TeX14 140

VeriCUDA

Deductive verifier for CUDA

Language:OCaml13 11 1

SystemFg

Implementation of Polymorphic Gradual Typing

Language:OCaml10 16 2

ContextWorkflow

A DSL for Interruptible and Compensable Executions

Language:ScalaMIT7 170

consort

Language:OCaml4 10 27

automata

Language:RubyNOASSERTION3 9 141

dimtype

Implementation of dimension type system

Language:OCaml1 15 1

kuisthesis-template

Language:TeX1 110

probBBC

Language:PythonBSD-2-Clause100

ryoko-ukagai

LaTeX macros for ryoko ukagai

Language:TeXUnlicense1 130

stacksafe

Language:C++MIT1 20

gear

0130

bibman

Bibliography Manager

Language:JavaScriptMIT000

bibman-docker-compose

Language:Dockerfile090

BOREx

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

Language:Jupyter NotebookApache-2.0000

classroom-scripts

Shell scripts for managing students' repositories

Language:Shell0100

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:OCaml0110

GriftForked

A compiler for the gradually typed lambda calculus

Language:CMIT020

helmholtz-doc

Documentation of Helmholtz

Language:CSS0110

homfa-runner-experiments

Running experiments of homfa-runner, homfa-converter.

000

icon-why3

why3 plugin for icon project

Language:OCaml08 4

ocaml-ctypes-cbuf

Language:OCamlMIT020

ocaml-sodium

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

Language:OCaml000

SoftwareFoundationGroupAtKyotoU.github.io

0130