{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"libra","owner":"watssec","isFork":false,"description":"LLVM IR Bindings for Rust-based Analyzers","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,11,53,60,38,1,0,1,0,0,2,0,1,0,0,0,0,5,54,0,0,0,0,0,20,65,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":"2024-02-15T15:09:59.630Z"}},{"type":"Public","name":"l4v","owner":"watssec","isFork":true,"description":"seL4 specification and proofs ","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":104,"license":"Other","participation":[10,3,4,9,24,5,4,2,10,1,3,16,0,0,11,0,0,0,0,2,1,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-12-10T19:39:02.890Z"}},{"type":"Public","name":"sel4-example","owner":"watssec","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,14,2,0,0,0,0,0,0,1,0,0,0,0,0,0,0,8,2,2,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-12-09T04:08:30.109Z"}},{"type":"Public","name":"watssec-sel4-manifest","owner":"watssec","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T02:54:42.297Z"}},{"type":"Public","name":"llvm","owner":"watssec","isFork":true,"description":"The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at <a href=\"http://reviews.llvm.org\" rel=\"nofollow\">http://reviews.llvm.org</a>.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11075,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-30T18:43:04.035Z"}},{"type":"Public","name":"move","owner":"watssec","isFork":true,"description":"Home of the Move programming language","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":131,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-18T22:03:05.468Z"}},{"type":"Public","name":"FAST","owner":"watssec","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-09T18:39:40.948Z"}},{"type":"Public","name":"souffle","owner":"watssec","isFork":true,"description":"Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":197,"license":"Universal Permissive License v1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-18T17:29:14.965Z"}},{"type":"Public","name":"s2n-tls","owner":"watssec","isFork":true,"description":"An implementation of the TLS/SSL protocols","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":698,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-22T00:56:03.812Z"}},{"type":"Public","name":"linux","owner":"watssec","isFork":true,"description":"Linux kernel source tree","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":52625,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-11T03:09:35.022Z"}},{"type":"Public","name":"qemu","owner":"watssec","isFork":true,"description":"Official QEMU mirror. Please see <a href=\"http://wiki.qemu.org/Contribute/SubmitAPatch\" rel=\"nofollow\">http://wiki.qemu.org/Contribute/SubmitAPatch</a> for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5391,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-26T21:17:11.841Z"}},{"type":"Public","name":"llvm-vmlinux","owner":"watssec","isFork":false,"description":"Modifying makefiles to force the complier to generate LLVM IR","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-11T23:57:08.812Z"}},{"type":"Public","name":"diem","owner":"watssec","isFork":true,"description":"Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2576,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-03T04:22:40.336Z"}}],"repositoryCount":13,"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":"watssec repositories"}