{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"smtml","owner":"formalsec","isFork":false,"description":"A Multi Back-end Front-end for SMT Solvers in OCaml","topicNames":["ocaml","symbolic-execution","z3","smt-lib"],"topicsNotShown":0,"allTopics":["ocaml","symbolic-execution","z3","smt-lib"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":21,"starsCount":12,"forksCount":7,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T21:42:39.360Z"}},{"type":"Public","name":"ast-gen","owner":"formalsec","isFork":false,"description":"","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":"2024-05-27T14:56:55.885Z"}},{"type":"Public","name":"wasp-private","owner":"formalsec","isFork":false,"description":"WebAssembly Symbolic Processor (WASP) private ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"WebAssembly","color":"#04133b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T09:35:07.601Z"}},{"type":"Public","name":"ocaml-cvc5","owner":"formalsec","isFork":false,"description":"OCaml bindings for the cvc5 SMT solver","topicNames":["ocaml","cvc5"],"topicsNotShown":0,"allTopics":["ocaml","cvc5"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":5,"starsCount":1,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T15:50:49.466Z"}},{"type":"Public","name":"instrumentation2","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T17:50:58.263Z"}},{"type":"Public","name":"graphjs","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T06:14:09.861Z"}},{"type":"Public","name":"explodejs","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T20:50:41.737Z"}},{"type":"Public","name":"whilloc","owner":"formalsec","isFork":false,"description":"A simple \"while\"-like programming language that includes memory allocation support.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":4,"starsCount":7,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T09:35:56.019Z"}},{"type":"Public archive","name":"encoding","owner":"formalsec","isFork":false,"description":"This project was renamed to Smt.ml (link below)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T15:38:45.884Z"}},{"type":"Public","name":"ecmasl-vim","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T09:13:57.398Z"}},{"type":"Public","name":"Test-Comp","owner":"formalsec","isFork":false,"description":"Test-Comp benchmarking scripts for wasp-c","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-13T14:45:33.859Z"}},{"type":"Public","name":"Collections-C","owner":"formalsec","isFork":false,"description":"Gillian's Collections-C Symbolic Test Suite in Wasm ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T20:33:59.560Z"}},{"type":"Public","name":"memory-models","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-15T21:54:39.793Z"}},{"type":"Public archive","name":"waspc","owner":"formalsec","isFork":false,"description":"OWI's C frontend now in <a href=\"https://github.com/OCamlPro/owi/pull/100\">https://github.com/OCamlPro/owi/pull/100</a>","topicNames":["ocaml","wasm","symbolic-execution","owi"],"topicsNotShown":0,"allTopics":["ocaml","wasm","symbolic-execution","owi"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-05T16:09:09.686Z"}},{"type":"Public","name":"formalsec.github.io","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-27T19:38:04.850Z"}},{"type":"Public archive","name":"wasp","owner":"formalsec","isFork":false,"description":"WASP moved to: <a href=\"https://github.com/OCamlPro/owi\">https://github.com/OCamlPro/owi</a>","topicNames":["c","testing","webassembly","symbolic-execution","program-analysis"],"topicsNotShown":0,"allTopics":["c","testing","webassembly","symbolic-execution","program-analysis"],"primaryLanguage":{"name":"WebAssembly","color":"#04133b"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-03T18:56:17.000Z"}},{"type":"Public","name":"aws-cryptosdk-c","owner":"formalsec","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-15T09:09:57.015Z"}}],"repositoryCount":17,"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"}