{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Concuerror","owner":"parapluu","isFork":false,"description":"Concuerror is a stateless model checking tool for Erlang programs.","topicNames":["testing","debugging","erlang","otp","tool","verification","systematic-testing","automatic","concurrent-erlang-programs","concurrent-programming"],"topicsNotShown":9,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":1,"issueCount":16,"starsCount":329,"forksCount":43,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T08:37:58.662Z"}},{"type":"Public","name":"mce-typed","owner":"parapluu","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":4,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T15:44:12.060Z"}},{"type":"Public","name":"nifty","owner":"parapluu","isFork":false,"description":"Erlang NIF Wrapper Generator","topicNames":["erlang"],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":3,"issueCount":2,"starsCount":140,"forksCount":29,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-08T16:32:45.620Z"}},{"type":"Public","name":"encore","owner":"parapluu","isFork":false,"description":"The Encore compiler.","topicNames":["programming-language","compiler","encore"],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":10,"issueCount":58,"starsCount":42,"forksCount":26,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-29T20:21:11.638Z"}},{"type":"Public","name":"monadic-typechecker","owner":"parapluu","isFork":false,"description":"Artefact for \"Developing a Monadic Type Checker for an Object-Oriented Language\"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-22T11:49:02.010Z"}},{"type":"Public","name":"lock_benchmarking","owner":"parapluu","isFork":false,"description":"Benchmarks for locking algorithms as well as implementations of locking algorithms.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-06T12:17:38.666Z"}},{"type":"Public","name":"easyinterface","owner":"parapluu","isFork":true,"description":"A web frontend for the Encore toolchain","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-25T11:24:09.248Z"}},{"type":"Public","name":"language-encore","owner":"parapluu","isFork":false,"description":"Atom syntax highlighting for the Encore language","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-08T09:02:14.147Z"}},{"type":"Public","name":"nifty-contiki","owner":"parapluu","isFork":false,"description":"Nifty Contiki Port ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-15T18:14:25.417Z"}},{"type":"Public","name":"target","owner":"parapluu","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-07T16:18:33.537Z"}},{"type":"Public","name":"parapluu.github.io","owner":"parapluu","isFork":false,"description":"Parapluu's research webpage","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-03T16:11:29.890Z"}}],"repositoryCount":11,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}