{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"inox","owner":"epfl-lara","isFork":false,"description":"Solver for higher-order functional programs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":9,"issueCount":11,"starsCount":88,"forksCount":20,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T08:41:05.764Z"}},{"type":"Public","name":"stainless","owner":"epfl-lara","isFork":false,"description":"Verification framework and tool for higher-order Scala programs","topicNames":["scala","verification","proof-assistant","z3","model-checking","formal-methods","inox","smt","cvc4","cvc5"],"topicsNotShown":0,"allTopics":["scala","verification","proof-assistant","z3","model-checking","formal-methods","inox","smt","cvc4","cvc5"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":12,"issueCount":253,"starsCount":348,"forksCount":48,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T14:08:07.987Z"}},{"type":"Public","name":"stainless-site","owner":"epfl-lara","isFork":false,"description":"Stainless microsite","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T13:31:34.423Z"}},{"type":"Public","name":"bolts","owner":"epfl-lara","isFork":false,"description":"Bolts: Stainless Verified Scala Examples","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":3,"starsCount":16,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T13:16:29.188Z"}},{"type":"Public","name":"compiler2024-labs-public","owner":"epfl-lara","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T19:11:50.349Z"}},{"type":"Public","name":"lisa","owner":"epfl-lara","isFork":false,"description":"Proof assistant based on first-order logic and set theory","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":7,"issueCount":11,"starsCount":30,"forksCount":18,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T15:06:12.737Z"}},{"type":"Public archive","name":"LongMap-SMT-queries","owner":"epfl-lara","isFork":false,"description":"Repository containing the SMT queries generated during the verification of the `LongMap`.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T06:50:42.162Z"}},{"type":"Public","name":"PVS","owner":"epfl-lara","isFork":true,"description":"The People's Verification System","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":32,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T01:17:59.824Z"}},{"type":"Public","name":"leon","owner":"epfl-lara","isFork":false,"description":"The Leon system for verification, synthesis, repair","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":8,"issueCount":24,"starsCount":162,"forksCount":49,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T08:59:19.471Z"}},{"type":"Public","name":"starkware-formal-proofs","owner":"epfl-lara","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-11T18:16:28.603Z"}},{"type":"Public","name":"cs550","owner":"epfl-lara","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-11T12:09:21.120Z"}},{"type":"Public","name":"scala-smtlib","owner":"epfl-lara","isFork":true,"description":"Scala library for parsing and printing the SMT-LIB format","topicNames":["scala","smt-lib"],"topicsNotShown":0,"allTopics":["scala","smt-lib"],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":23,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-06T19:51:17.599Z"}},{"type":"Public","name":"ScalaZ3","owner":"epfl-lara","isFork":false,"description":"DSL in Scala for Constraint Solving with Z3 SMT Solver","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":2,"issueCount":12,"starsCount":117,"forksCount":33,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-01T08:39:52.540Z"}},{"type":"Public","name":"lattices-algorithms","owner":"epfl-lara","isFork":false,"description":"This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-29T19:31:21.722Z"}},{"type":"Public","name":"saal","owner":"epfl-lara","isFork":false,"description":"Example of using Stainless as a library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-03T09:24:52.269Z"}},{"type":"Public","name":"languagetool","owner":"epfl-lara","isFork":true,"description":"Style and Grammar Checker for 25+ Languages","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1371,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-11T15:00:07.434Z"}},{"type":"Public","name":"scallion","owner":"epfl-lara","isFork":false,"description":"LL(1) parser combinators in Scala","topicNames":["parser","scala","parsing","pretty-print","parsing-combinators","pretty-printer","ll1","ll1-grammar","ll1-parser","parser-combinators"],"topicsNotShown":0,"allTopics":["parser","scala","parsing","pretty-print","parsing-combinators","pretty-printer","ll1","ll1-grammar","ll1-parser","parser-combinators"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":3,"starsCount":54,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-16T15:31:05.234Z"}},{"type":"Public","name":"silex","owner":"epfl-lara","isFork":false,"description":"Lexing library for Scala","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-16T15:12:25.263Z"}},{"type":"Public","name":"asplos2022tutorial","owner":"epfl-lara","isFork":false,"description":"ASPLOS 2022 Tutorial on Stainless","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-24T07:36:51.364Z"}},{"type":"Public archive","name":"verified-qoi","owner":"epfl-lara","isFork":false,"description":"Formally verified QOI in Scala","topicNames":["scala","verification","stainless"],"topicsNotShown":0,"allTopics":["scala","verification","stainless"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-14T10:08:30.166Z"}},{"type":"Public","name":"fmcad2021tutorial","owner":"epfl-lara","isFork":false,"description":"FMCAD 2021 Tutorial on Stainless","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-28T14:31:30.812Z"}},{"type":"Public","name":"rust-stainless","owner":"epfl-lara","isFork":false,"description":"An experimental Rust frontend for Stainless","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":4,"issueCount":29,"starsCount":6,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-22T16:03:20.958Z"}},{"type":"Public","name":"OCBSL","owner":"epfl-lara","isFork":false,"description":"A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-26T15:04:48.001Z"}},{"type":"Public","name":"STIX-showcase","owner":"epfl-lara","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-18T10:20:41.452Z"}},{"type":"Public","name":"cafebabe","owner":"epfl-lara","isFork":true,"description":"Tiny Scala library to generate class files for the JVM","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-10T08:01:50.570Z"}},{"type":"Public","name":"StainlessFit","owner":"epfl-lara","isFork":false,"description":"Stainless directly built on System FR, with standalone front-end","topicNames":["scala","verification","type-theory","z3","formal-methods","smt","stainless"],"topicsNotShown":0,"allTopics":["scala","verification","type-theory","z3","formal-methods","smt","stainless"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":2,"issueCount":17,"starsCount":5,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-26T07:11:39.609Z"}},{"type":"Public","name":"SystemFR","owner":"epfl-lara","isFork":false,"description":"System FR: Formalized Foundations for Stainless","topicNames":["scala","verification","formal-methods","termination","stainless","coq"],"topicsNotShown":0,"allTopics":["scala","verification","formal-methods","termination","stainless","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-25T11:26:59.504Z"}},{"type":"Public","name":"report-sample","owner":"epfl-lara","isFork":false,"description":"Report template for EPFL students","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"PostScript","color":"#da291c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-08T21:05:04.146Z"}},{"type":"Public","name":"mlton","owner":"epfl-lara","isFork":true,"description":"The MLton repository","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":125,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-23T15:52:22.210Z"}},{"type":"Public","name":"actors-in-stainless","owner":"epfl-lara","isFork":false,"description":"Actor System library for Stainless which runs on Akka","topicNames":["scala","actors","akka","verification","stainless"],"topicsNotShown":0,"allTopics":["scala","actors","akka","verification","stainless"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":2,"starsCount":4,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-25T09:42:47.853Z"}}],"repositoryCount":88,"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"}