{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"mathlib","owner":"dreal-deps","isFork":false,"description":"IBM Accurate Portable Mathlib","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-29T07:03:38.717Z"}},{"type":"Public","name":"ezoptionparser","owner":"dreal-deps","isFork":false,"description":"ezoptionparser","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-11T19:13:04.478Z"}},{"type":"Public","name":"picosat","owner":"dreal-deps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T19:13:46.639Z"}},{"type":"Public","name":"ibex-lib","owner":"dreal-deps","isFork":true,"description":"IBEX is a C++ library for constraint processing over real numbers.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":50,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-09T21:53:15.955Z"}},{"type":"Public","name":"cadical","owner":"dreal-deps","isFork":false,"description":"CaDiCaL Simplified Satisfiability Solver","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-07T15:04:06.332Z"}},{"type":"Public","name":"homebrew-ibex","owner":"dreal-deps","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-12T16:10:08.444Z"}},{"type":"Public","name":"ibex-ppa-updater","owner":"dreal-deps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-08T20:04:41.345Z"}},{"type":"Public","name":"styleguide","owner":"dreal-deps","isFork":true,"description":"Style guides for Google-originated open-source projects","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13272,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-23T18:29:16.855Z"}},{"type":"Public archive","name":"homebrew-coinor","owner":"dreal-deps","isFork":true,"description":"A Repository of Homebrew Formulae for COIN-OR Projects","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-18T02:29:35.641Z"}},{"type":"Public","name":"tcc","owner":"dreal-deps","isFork":false,"description":"Tiny C Compiler","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-12T16:09:34.517Z"}},{"type":"Public","name":"gaol","owner":"dreal-deps","isFork":false,"description":"From <a href=\"http://frederic.goualard.net/software/gaol-4.2.tar.gz\" rel=\"nofollow\">http://frederic.goualard.net/software/gaol-4.2.tar.gz</a>","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-12T18:43:37.690Z"}},{"type":"Public","name":"drake-symbolic","owner":"dreal-deps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-09T16:33:41.323Z"}},{"type":"Public","name":"kythe","owner":"dreal-deps","isFork":true,"description":"Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":243,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-13T16:59:42.648Z"}},{"type":"Public","name":"minisat","owner":"dreal-deps","isFork":true,"description":"A minimalistic and high-performance SAT solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":376,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-03T23:25:26.470Z"}},{"type":"Public","name":"easyloggingpp","owner":"dreal-deps","isFork":true,"description":"Single header only C++ logging library. It is extremely light-weight, robust, fast performing, thread and type safe and consists of many built-in features. It provides ability to write logs in your own customized format. It also provide support for logging your classes, third-party libraries, STL and third-party containers etc.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":915,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-28T21:20:49.231Z"}},{"type":"Public","name":"capdDynSys-4.0","owner":"dreal-deps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-10T11:05:09.653Z"}},{"type":"Public","name":"glpk","owner":"dreal-deps","isFork":false,"description":"glpk-4.60","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-29T02:21:33.576Z"}},{"type":"Public","name":"filibxx","owner":"dreal-deps","isFork":false,"description":"filib++","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-24T17:58:55.801Z"}},{"type":"Public","name":"Adept","owner":"dreal-deps","isFork":true,"description":"Fast automatic differentiation library in C++","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-10T08:08:53.603Z"}},{"type":"Public","name":"crlibm","owner":"dreal-deps","isFork":true,"description":"A mirror of the CRLibm project from INRIA Forge","allTopics":[],"primaryLanguage":{"name":"Objective-C","color":"#438eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-05T11:02:57.627Z"}},{"type":"Public","name":"Catch","owner":"dreal-deps","isFork":true,"description":"A modern, C++-native, header-only, framework for unit-tests, TDD and BDD","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3002,"license":"Boost Software License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-08T05:33:46.999Z"}},{"type":"Public","name":"stan","owner":"dreal-deps","isFork":true,"description":"Stan Math Library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":181,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-23T09:45:18.855Z"}},{"type":"Public","name":"compatibility","owner":"dreal-deps","isFork":true,"description":"CMake module to activate certain C++ standard, feature checks and appropriate automated workarounds - basically an improved version of cmake-compile-features","allTopics":[],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":14,"license":"zlib License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-10T18:21:52.916Z"}},{"type":"Public","name":"asio","owner":"dreal-deps","isFork":true,"description":"Asio C++ Library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1186,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-14T13:46:23.462Z"}},{"type":"Public","name":"z3","owner":"dreal-deps","isFork":true,"description":"The Z3 Theorem Prover","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1450,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-24T18:36:14.607Z"}},{"type":"Public","name":"nlopt","owner":"dreal-deps","isFork":true,"description":"nlopt-2.4.2","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":551,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-01T16:23:46.291Z"}},{"type":"Public","name":"gsl","owner":"dreal-deps","isFork":false,"description":"GNU Scientific Library - <a href=\"http://www.gnu.org/software/gsl\" rel=\"nofollow\">http://www.gnu.org/software/gsl</a>","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-01T15:32:15.377Z"}},{"type":"Public","name":"DynIbex","owner":"dreal-deps","isFork":false,"description":"<a href=\"http://perso.ensta-paristech.fr/~chapoutot/dynibex/\" rel=\"nofollow\">http://perso.ensta-paristech.fr/~chapoutot/dynibex/</a>","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-30T18:39:21.899Z"}},{"type":"Public","name":"hpx","owner":"dreal-deps","isFork":true,"description":"A general purpose C++ runtime system for parallel and distributed applications of any scale","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":422,"license":"Boost Software License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-13T12:26:52.533Z"}},{"type":"Public","name":"odeint-v2","owner":"dreal-deps","isFork":true,"description":"odeint - solving ordinary differential equations in c++ v2","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":102,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-09T10:26:23.153Z"}}],"repositoryCount":43,"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"}