{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"homebrew-k","owner":"kframework","isFork":false,"description":"K Homebrew tap","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-14T12:45:54.416Z"}},{"type":"Public","name":"boogie-semantics","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Boogie","color":"#c80fa0"},"pullRequestCount":1,"issueCount":3,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-02T14:26:10.543Z"}},{"type":"Public archive","name":"ewasm-semantics","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"WebAssembly","color":"#04133b"},"pullRequestCount":4,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-23T12:13:06.097Z"}},{"type":"Public","name":"rust-metamath","owner":"kframework","isFork":false,"description":"A Rust Implementation of Metamath","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-16T19:39:05.978Z"}},{"type":"Public","name":"c-semantics","owner":"kframework","isFork":false,"description":"Semantics of C in K","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":59,"starsCount":301,"forksCount":39,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-01T17:50:35.053Z"}},{"type":"Public","name":".github","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-25T19:38:38.261Z"}},{"type":"Public","name":"java-semantics","owner":"kframework","isFork":false,"description":"The semantics of Java in K","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":11,"starsCount":17,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-15T19:53:34.080Z"}},{"type":"Public","name":"p4-semantics","owner":"kframework","isFork":false,"description":"Formal Semantics of P4 in K","allTopics":["verification","symbolic-execution","model-checking","p4language","p4","translation-validation","interpreter","formal-semantics"],"primaryLanguage":{"name":"P4","color":"#7055b5"},"pullRequestCount":0,"issueCount":0,"starsCount":18,"forksCount":2,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-21T17:21:46.349Z"}},{"type":"Public","name":"matching-logic-prover","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":10,"issueCount":14,"starsCount":14,"forksCount":4,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-16T09:50:36.625Z"}},{"type":"Public","name":"k-in-k","owner":"kframework","isFork":false,"description":"Defining the semantics of K in K","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":0,"starsCount":11,"forksCount":4,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-06T18:49:11.155Z"}},{"type":"Public","name":"X86-64-semantics","owner":"kframework","isFork":false,"description":"Semantics of x86-64 in K","allTopics":["semantics","x86-64","k-framework"],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":2,"issueCount":2,"starsCount":130,"forksCount":11,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-04T05:38:36.143Z"}},{"type":"Public","name":"k-project-template","owner":"kframework","isFork":false,"description":"Project Template","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-11T16:10:23.673Z"}},{"type":"Public","name":"eei-semantics","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-17T07:43:07.437Z"}},{"type":"Public","name":"solidity-semantics","owner":"kframework","isFork":false,"description":"Semantics of Solidity in K","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":9,"starsCount":29,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-11T09:54:43.379Z"}},{"type":"Public","name":"klab","owner":"kframework","isFork":true,"description":"K-framework simple debugger","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-16T17:47:36.141Z"}},{"type":"Public","name":"kat","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":1,"issueCount":2,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-15T13:45:51.812Z"}},{"type":"Public","name":"semantic-approaches","owner":"kframework","isFork":false,"description":"A comprehensive experiments-based survey on various approaches to program semantics. ","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-07T22:16:02.362Z"}},{"type":"Public","name":"kore-parser-tests","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-20T15:12:20.718Z"}},{"type":"Public","name":"vyper-semantics","owner":"kframework","isFork":false,"description":"KVyper: Semantics of Vyper in K","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":41,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-12T13:36:38.966Z"}},{"type":"Public","name":"llvm-semantics","owner":"kframework","isFork":false,"description":"Formal semantics of LLVM IR in K","allTopics":[],"primaryLanguage":{"name":"LLVM","color":"#185619"},"pullRequestCount":0,"issueCount":2,"starsCount":42,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-13T22:35:07.649Z"}},{"type":"Public","name":"kale","owner":"kframework","isFork":false,"description":"kale backend","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":2,"issueCount":8,"starsCount":4,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-29T23:43:21.016Z"}},{"type":"Public archive","name":"k-legacy","owner":"kframework","isFork":false,"description":"The K tools (deprecated, see README)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":9,"issueCount":318,"starsCount":146,"forksCount":61,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-14T15:31:32.209Z"}},{"type":"Public","name":"orc-semantics","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Csound","color":"#1a1a1a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-19T12:31:38.328Z"}},{"type":"Public","name":"haskell-core-semantics","owner":"kframework","isFork":false,"description":"Haskell's Core in K.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":4,"starsCount":20,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-21T21:28:23.893Z"}},{"type":"Public","name":"parser","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-22T00:08:02.285Z"}},{"type":"Public","name":"tidy","owner":"kframework","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-03T16:44:24.892Z"}},{"type":"Public","name":"javascript-semantics","owner":"kframework","isFork":false,"description":"KJS: A Complete Formal Semantics of JavaScript","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":3,"starsCount":85,"forksCount":21,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-13T20:03:21.835Z"}},{"type":"Public","name":"llvm-semantics-old","owner":"kframework","isFork":true,"description":"Formal semantics of LLVM IR in K (old)","allTopics":[],"primaryLanguage":{"name":"LLVM","color":"#185619"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-25T07:16:40.782Z"}},{"type":"Public","name":"cink-semantics","owner":"kframework","isFork":false,"description":"Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-05T18:47:59.109Z"}},{"type":"Public","name":"kweb","owner":"kframework","isFork":false,"description":"Online extensible IDE for the K Framework and other formal verification projects. Example deployment at <a href=\"http://kframework.org/kweb/\" rel=\"nofollow\">http://kframework.org/kweb/</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":9,"starsCount":5,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-02-02T01:45:07.397Z"}}],"repositoryCount":36,"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"}