{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"herbie","owner":"herbie-fp","isFork":false,"description":"Optimize floating-point expressions for accuracy","topicNames":["developer-tools","synthesis","numerical-methods","floating-point","herbie","racket"],"topicsNotShown":0,"allTopics":["developer-tools","synthesis","numerical-methods","floating-point","herbie","racket"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":11,"issueCount":11,"starsCount":729,"forksCount":32,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T19:01:38.828Z"}},{"type":"Public","name":"odyssey","owner":"herbie-fp","isFork":false,"description":"A platform for exploring floating-point expressions.","topicNames":["floating-point","plugin-system","interfaces"],"topicsNotShown":0,"allTopics":["floating-point","plugin-system","interfaces"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":8,"starsCount":11,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T07:17:29.340Z"}},{"type":"Public","name":"avx-herbie","owner":"herbie-fp","isFork":false,"description":"A Herbie plugin supporting Herbie's AVX platform","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T02:52:04.045Z"}},{"type":"Public","name":"rival","owner":"herbie-fp","isFork":false,"description":"Interval arithmetic for real computation","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":2,"issueCount":1,"starsCount":16,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T20:24:49.781Z"}},{"type":"Public","name":"fdlibm-herbie","owner":"herbie-fp","isFork":false,"description":"Herbie plugin for variations of log used in the fdlibm log implementation","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T22:38:50.997Z"}},{"type":"Public","name":"egg-herbie","owner":"herbie-fp","isFork":false,"description":"An interface for using mwillsey/egg with math simplification.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T00:41:02.322Z"}},{"type":"Public","name":"clhapi","owner":"herbie-fp","isFork":false,"description":"command line -> http api","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-23T03:53:14.269Z"}},{"type":"Public","name":"softposit-herbie","owner":"herbie-fp","isFork":false,"description":"Herbie support for posits","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-26T22:42:15.299Z"}},{"type":"Public","name":"float-herbie","owner":"herbie-fp","isFork":false,"description":"Herbie plugin for generic floating-point types","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-12T04:34:53.552Z"}},{"type":"Public","name":"fixedpoint-herbie","owner":"herbie-fp","isFork":false,"description":"Fixed-point number plugin for Herbie","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-12T04:34:35.476Z"}},{"type":"Public","name":"regraph","owner":"herbie-fp","isFork":false,"description":"Racket Equivalence Graph Library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":18,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-24T05:51:10.826Z"}},{"type":"Public","name":"complex-herbie","owner":"herbie-fp","isFork":false,"description":"Support for complex numbers in Herbie","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T17:00:59.089Z"}}],"repositoryCount":12,"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"}