{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"WhileyOrg","owner":"Whiley","isFork":false,"description":"Code for the whiley.org website","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":9,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-11T22:19:12.374Z"}},{"type":"Public","name":"WhileyWeb","owner":"Whiley","isFork":false,"description":"A simple web IDE for running Whiley programs on your computer using a web-browser.","allTopics":["java","compiler","whiley"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":5,"starsCount":4,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-16T22:15:23.009Z"}},{"type":"Public","name":"WhileyCompiler","owner":"Whiley","isFork":false,"description":"The Whiley Compiler (WyC)","allTopics":["language","compiler","verification","whiley"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":42,"starsCount":216,"forksCount":33,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-09T21:17:43.995Z"}},{"type":"Public","name":"WhileyLanguageTests","owner":"Whiley","isFork":false,"description":"A suite of acceptance tests for tools (e.g. compilers / verifiers) working with Whiley. These test clarify expected semantics of the language, as well as expectations regarding verification performance.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-11T20:33:04.605Z"}},{"type":"Public","name":"Repository","owner":"Whiley","isFork":false,"description":"The first package repository for Whiley!","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-12T04:21:20.107Z"}},{"type":"Public","name":"WhileyBuildTool","owner":"Whiley","isFork":false,"description":"A command-line build tool for use with Whiley.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":9,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-11T04:18:02.580Z"}},{"type":"Public","name":"Whiley2Boogie","owner":"Whiley","isFork":false,"description":"A compiler backend for translating Whiley programs into Boogie programs for verification.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":32,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-11T04:15:57.144Z"}},{"type":"Public","name":"RFCs","owner":"Whiley","isFork":false,"description":"Request for Comment (RFC) proposals for substantial changes to the Whiley language.","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":68,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-16T01:53:38.208Z"}},{"type":"Public","name":"STD.wy","owner":"Whiley","isFork":false,"description":"The Whiley Standard Library. This is a minimal set of primitives for interacting with the world.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":9,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T05:37:25.729Z"}},{"type":"Public","name":"Whiley2C","owner":"Whiley","isFork":false,"description":"A C backend for the Whiley Compiler","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T05:33:03.217Z"}},{"type":"Public","name":"DOM.wy","owner":"Whiley","isFork":false,"description":"Whiley bindings for the W3C Document Object Model.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-01T02:27:35.513Z"}},{"type":"Public","name":"JS.wy","owner":"Whiley","isFork":false,"description":"Language Bindings for JavaScript","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-01T02:25:06.030Z"}},{"type":"Public","name":"Whiley2JavaScript","owner":"Whiley","isFork":false,"description":"Provides support for compiling Whiley programs in JavaScript. See <a href=\"http://whiley.org\" rel=\"nofollow\">http://whiley.org</a> for more information on Whiley.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":29,"starsCount":2,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-25T22:51:30.942Z"}},{"type":"Public","name":"WhileyEmacsMode","owner":"Whiley","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-01T22:42:11.250Z"}},{"type":"Public","name":"WhileySyntaxBundle","owner":"Whiley","isFork":false,"description":"A TextMate plugin for Whiley","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-26T01:39:34.377Z"}},{"type":"Public","name":"WhileyBuildAction","owner":"Whiley","isFork":false,"description":"A Github action for building Whiley repositories.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-21T20:29:59.417Z"}},{"type":"Public","name":"WhileyDevelopmentKit","owner":"Whiley","isFork":false,"description":"The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.","allTopics":["language","programming-language","whiley"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-04T03:20:31.237Z"}},{"type":"Public","name":"WyBench","owner":"Whiley","isFork":false,"description":"Benchmark Suite for Whiley","allTopics":["benchmarking","examples","whiley"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":4,"starsCount":6,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-18T21:44:11.224Z"}},{"type":"Public","name":"WhileyDocs","owner":"Whiley","isFork":false,"description":"Various documents relating to the Whiley Programming Language.","allTopics":["documentation","latex","whiley"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":22,"starsCount":7,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-08T21:13:47.898Z"}},{"type":"Public","name":"WhileyTheoremProver","owner":"Whiley","isFork":false,"description":"The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":51,"starsCount":8,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-19T01:11:58.944Z"}},{"type":"Public","name":"Whiley2JavaCompiler","owner":"Whiley","isFork":false,"description":"The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.","allTopics":["java","bytecode","compiler","whiley"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":14,"starsCount":4,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-02T01:36:33.837Z"}},{"type":"Public","name":"Jasm","owner":"Whiley","isFork":false,"description":"Assembler / Disassembler for Java Bytecode","allTopics":["bytecode","java-bytecode","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":6,"starsCount":24,"forksCount":10,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-02T01:31:28.384Z"}},{"type":"Public","name":"WhileyVimMode","owner":"Whiley","isFork":false,"description":"Vim Mode for Syntax Highlighting","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-16T20:30:17.500Z"}},{"type":"Public","name":"WhileyRewriteLanguage","owner":"Whiley","isFork":false,"description":"WyRL is a domain specific rewrite language and code generator which has been custom developed for use within the Whiley Compiler. Specifically, WyRL is used to generate the Automated Theorem Prover used within Whiley.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":19,"starsCount":3,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-07T03:21:47.535Z"}}],"repositoryCount":24,"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"}