{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"stainless","owner":"epfl-lara","isFork":false,"description":"Verification framework and tool for higher-order Scala programs","allTopics":["scala","verification","proof-assistant","z3","model-checking","formal-methods","inox","smt","cvc4","cvc5"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":14,"issueCount":265,"starsCount":349,"forksCount":51,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T17:59:30.463Z"}},{"type":"Public","name":"bolts","owner":"epfl-lara","isFork":false,"description":"Bolts: Stainless Verified Scala Examples","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":3,"issueCount":3,"starsCount":16,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T16:24:44.250Z"}},{"type":"Public","name":"asn1scc","owner":"epfl-lara","isFork":true,"description":"ASN1SCC: An open source ASN.1 compiler for embedded systems","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":58,"license":"Other","participation":[15,10,7,26,23,18,23,28,17,9,1,12,6,5,2,9,11,12,11,12,9,14,6,5,7,13,11,14,1,10,12,6,8,3,5,8,1,5,7,2,8,2,7,7,5,0,3,5,7,16,6,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T15:46:19.907Z"}},{"type":"Public","name":"inox","owner":"epfl-lara","isFork":false,"description":"Solver for higher-order functional programs, used by Stainless","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":7,"issueCount":11,"starsCount":88,"forksCount":20,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-08T11:24:18.857Z"}},{"type":"Public","name":"lisa","owner":"epfl-lara","isFork":false,"description":"Proof assistant based on first-order logic and set theory","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":8,"issueCount":11,"starsCount":31,"forksCount":18,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-23T08:40:42.680Z"}},{"type":"Public","name":"stainless-site","owner":"epfl-lara","isFork":false,"description":"Stainless microsite","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":"compiler2024-labs-public","owner":"epfl-lara","isFork":false,"description":"","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 archive","name":"LongMap-SMT-queries","owner":"epfl-lara","isFork":false,"description":"Repository containing the SMT queries generated during the verification of the `LongMap`.","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"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","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","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":8,"issueCount":24,"starsCount":160,"forksCount":49,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T08:59:19.471Z"}},{"type":"Public","name":"SciFe","owner":"epfl-lara","isFork":true,"description":"SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T17:43:39.346Z"}},{"type":"Public","name":"starkware-formal-proofs","owner":"epfl-lara","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"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":"","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","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","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":3,"issueCount":12,"starsCount":121,"forksCount":34,"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","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","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","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1378,"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","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":56,"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","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","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","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","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","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"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.","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":"","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","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","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","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","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"}}],"repositoryCount":90,"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":"epfl-lara repositories"}