{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"str-cursor","owner":"OCamlPro","isFork":false,"description":"A Rust crate offering a cursor (or highlight) for str slices.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T09:18:53.167Z"}},{"type":"Public","name":"sat_micro_rust","owner":"OCamlPro","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-25T13:23:09.736Z"}},{"type":"Public","name":"ecore.rs","owner":"OCamlPro","isFork":false,"description":"A parser for the Eclipse Modeling Framework Ecore format.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-16T17:23:34.827Z"}},{"type":"Public","name":"PeaNoOp","owner":"OCamlPro","isFork":false,"description":"Code de \"Sub-single-instruction Peano to machine integer conversion\"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-08T15:24:33.538Z"}},{"type":"Public","name":"dirdiff","owner":"OCamlPro","isFork":false,"description":"Efficiently compute the differences between two directories","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":3,"starsCount":87,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-29T12:43:44.627Z"}},{"type":"Public","name":"memthol","owner":"OCamlPro","isFork":false,"description":"Memthol is a visualizer for memory profiling data generated from OCaml programs.","allTopics":["visualization","ocaml","profiling","rust"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":28,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-17T13:53:08.508Z"}},{"type":"Public","name":"matla","owner":"OCamlPro","isFork":false,"description":"A manager for TLA+ projects, written in Rust.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-30T15:52:36.756Z"}},{"type":"Public","name":"verification_for_dummies","owner":"OCamlPro","isFork":false,"description":"Induction as a formal program verification technique for the uninitiated, written in Rust.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-12T15:46:32.712Z"}},{"type":"Public","name":"mikino_bin","owner":"OCamlPro","isFork":false,"description":"A simple induction and BMC engine.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-16T12:50:47.101Z"}},{"type":"Public","name":"mikino","owner":"OCamlPro","isFork":false,"description":"A simple induction and BMC engine in Rust.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-06T10:30:35.352Z"}}],"repositoryCount":10,"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":"OCamlPro repositories"}