{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"icon-why3","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"why3 plugin for icon project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":5,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T04:03:33.660Z"}},{"type":"Public","name":"consort","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":7,"issueCount":25,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T07:43:56.883Z"}},{"type":"Public","name":"homfa-runner-experiments","owner":"SoftwareFoundationGroupAtKyotoU","isFork":true,"description":"Running experiments of homfa-runner, homfa-converter.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T04:15:52.981Z"}},{"type":"Public","name":"kuis-thesis-cover","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":["platex","tex"],"topicsNotShown":0,"allTopics":["platex","tex"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-13T04:37:04.151Z"}},{"type":"Public","name":"BOREx","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Implementation of the paper \"BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image- and Video-Classification Models\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-08T01:10:34.710Z"}},{"type":"Public","name":"probBBC","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-24T10:07:19.880Z"}},{"type":"Public","name":"ocaml-ctypes-cbuf","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-09T16:24:01.467Z"}},{"type":"Public","name":"ocaml-sodium","owner":"SoftwareFoundationGroupAtKyotoU","isFork":true,"description":"Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":27,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-26T14:05:59.301Z"}},{"type":"Public","name":"bibman-docker-compose","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-19T17:27:11.038Z"}},{"type":"Public","name":"bibman","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Bibliography Manager","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-19T17:26:34.542Z"}},{"type":"Public archive","name":"consort-public","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-18T02:56:29.952Z"}},{"type":"Public","name":"helmholtz-doc","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Documentation of Helmholtz","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-03T00:18:57.193Z"}},{"type":"Public","name":"stacksafe","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-01T06:25:41.823Z"}},{"type":"Public","name":"kuisthesis-template","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-18T06:01:25.812Z"}},{"type":"Public","name":"GriftForked","owner":"SoftwareFoundationGroupAtKyotoU","isFork":true,"description":"A compiler for the gradually typed lambda calculus","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-19T05:42:53.949Z"}},{"type":"Public","name":"classroom-scripts","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Shell scripts for managing students' repositories","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-02T18:20:04.355Z"}},{"type":"Public","name":"SystemFg","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Implementation of Polymorphic Gradual Typing","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-16T11:26:41.167Z"}},{"type":"Public","name":"ContextWorkflow","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"A DSL for Interruptible and Compensable Executions","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-28T12:32:46.773Z"}},{"type":"Public archive","name":"automata","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":7,"issueCount":42,"starsCount":3,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-12T04:09:59.244Z"}},{"type":"Public","name":"VeriCUDA","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Deductive verifier for CUDA","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":13,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-19T02:51:07.266Z"}},{"type":"Public","name":"dimtype","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"Implementation of dimension type system","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-18T08:30:28.875Z"}},{"type":"Public","name":"gear","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-15T07:29:33.425Z"}},{"type":"Public","name":"SoftwareFoundationGroupAtKyotoU.github.io","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-01-17T05:34:47.939Z"}},{"type":"Public","name":"ryoko-ukagai","owner":"SoftwareFoundationGroupAtKyotoU","isFork":false,"description":"LaTeX macros for ryoko ukagai","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-12-18T15:33:43.605Z"}}],"repositoryCount":24,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}