{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"libsesstype","owner":"sessionc","isFork":false,"description":"Session Types programming library for C/C++","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-25T00:41:53.497Z"}},{"type":"Public","name":"libscribble","owner":"sessionc","isFork":false,"description":"Parameterised Scribble protocol descripton language support library","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-07T02:28:04.308Z"}},{"type":"Public","name":"libsess","owner":"sessionc","isFork":false,"description":"Session C (libsess) discontinued in 2012","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-13T17:26:49.968Z"}},{"type":"Public","name":"mpi-pabble-extractor","owner":"sessionc","isFork":false,"description":"An application which can extract parameterised protocol from MPI C source code","allTopics":[],"primaryLanguage":{"name":"D","color":"#ba595e"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-09-01T22:51:16.545Z"}},{"type":"Public","name":"sessc-common","owner":"sessionc","isFork":false,"description":"Common module for Session C runtime","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-06-20T12:41:09.000Z"}},{"type":"Public","name":"sessc-typechecker","owner":"sessionc","isFork":false,"description":"Session C typechecker","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-22T20:36:04.000Z"}},{"type":"Public","name":"sessc-mpi","owner":"sessionc","isFork":false,"description":"Session C runtime in MPI","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-22T20:31:19.000Z"}},{"type":"Public","name":"MPI-Type-checker","owner":"sessionc","isFork":true,"description":"A program build as a clang plugin in order to enhance communication safety of MPI programs. This is performed by extracting the MPI primitives and the language constructs from a given source code. Following that a global protocol given to the program will be projected into local protocols. The type checker checks the conformance between the tree…","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-09-11T21:37:41.000Z"}}],"repositoryCount":8,"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":"sessionc repositories"}