{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Saatana","owner":"HeisenbugLtd","isFork":false,"description":"A cryptographic framework, proven for correctness in SPARK","allTopics":["cryptography","ada","formal-verification","spark-ada","ada2012","ada-language","spark2014","encryption","cryptographic-framework"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":3,"starsCount":13,"forksCount":0,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-05T12:58:16.913Z"}},{"type":"Public","name":"aicwl","owner":"HeisenbugLtd","isFork":false,"description":"Dmitry A. Kazakov's Ada Industrial Control Widget Library","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-01T20:16:45.787Z"}},{"type":"Public","name":"si_units","owner":"HeisenbugLtd","isFork":false,"description":"Utility library to pretty print physical values in proper metric units","allTopics":["physics","utility-library","ada","ada2012","ada-language","formatting-output","scale","distance","digits","pressure","convenience","instantiation","si-units","subprograms"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":3,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-19T09:24:41.020Z"}},{"type":"Public","name":"spat","owner":"HeisenbugLtd","isFork":false,"description":"SPARK Proof Analysis Tool","allTopics":["proof","ada","formal-verification","gnatprove","spark-ada","ada2012","ada-language","spark2014","spark-proof-analysis"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":3,"starsCount":15,"forksCount":4,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-19T09:24:17.621Z"}},{"type":"Public","name":"heisenbugltd.github.io","owner":"HeisenbugLtd","isFork":false,"description":"Organization Page Repository","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-19T00:42:25.684Z"}},{"type":"Public","name":"flac-ada","owner":"HeisenbugLtd","isFork":false,"description":"FLAC audio encoder/decoder in SPARK/Ada","allTopics":["formal-verification","flac-files","spark-ada","ada2012"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-03T19:37:31.698Z"}},{"type":"Public","name":"alire-index","owner":"HeisenbugLtd","isFork":true,"description":"Community index for the Alire project","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":93,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-24T21:31:29.454Z"}},{"type":"Public","name":"msg_passing","owner":"HeisenbugLtd","isFork":false,"description":"Shared, anonymous mailbox communication between tasks","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-23T17:51:42.493Z"}},{"type":"Public","name":"cache-sim","owner":"HeisenbugLtd","isFork":false,"description":"Old shit from the attic. A cache simulator. Most notable feature: It uses \"goto\" (one).","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-13T21:56:16.976Z"}},{"type":"Public","name":"open_weather_map_api","owner":"HeisenbugLtd","isFork":false,"description":"Ada interface to openweathermap API","allTopics":["weather-api","ada","ada2012","ada-language"],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-04T09:40:00.395Z"}},{"type":"Public","name":"bareboard-spark","owner":"HeisenbugLtd","isFork":true,"description":"Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT. This is supposed to become a SPARK based, provable implementation targeted at the STM32F4xx Cortex-M4 series.","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":141,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-11T19:23:15.215Z"}}],"repositoryCount":11,"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":"HeisenbugLtd repositories"}