Stars
3
Forks
0
Language
Python
Last Updated
Jan 06, 2022
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| None | 2 | Open source growth marketing platform | May 28, 2020 | |
| None | 3 | Open source growth marketing platform | Nov 06, 2020 | |
| Python | 4 | Open source crystal growth simulations. | Apr 25, 2024 | |
| Jupyter Notebook | 2 | Replication package of the paper "Quo Vadis, Open Source? The Limits of Open Source Growth" | May 16, 2022 | |
| Python | 13 | RCPCH's open source Digital Growth Chart API | Jan 30, 2023 | |
| TeX | 23 | Formal Methods, Maths and papers | Feb 22, 2023 | |
| None | 2 | Repository for review of formal methods | Sep 04, 2022 | |
| None | 2 | Formal Methods for Blockchain & Smart Contracts | Nov 29, 2023 | |
| None | 2 | The top-20 open-source startups by their growth at Github quarterly | Jul 29, 2022 | |
| None | 14 | Measuring growth in wages advertised in job postings, updated monthly | Apr 04, 2023 | |
| R | 314 | Tidy methods for measuring model performance | Oct 02, 2022 | |
| GLSL | 3 | Employ Formal Methods to model the game of Spikeball 🎾 | May 13, 2023 | |
| Python | 15 | Methods for measuring and analyzing therapist language | Apr 08, 2023 | |
| JavaScript | 94 | An open source utility library for measuring React component render times. | Apr 06, 2022 | |
| Nextflow | 3 | All the files related to Formal Methods module in Final Year | Nov 06, 2022 | |
| Alloy | 3 | Materials from the Formal Methods for Critical Systems course at FEUP. | Sep 08, 2023 | |
| Vue | 6 | Methods for measuring co-localization of ion images | Aug 02, 2022 | |
| TSQL | 4 | An open source system for measuring transit service performance in real-time | Jul 19, 2022 | |
| C# | 15 | An open source system for measuring transit service performance in real-time | Jul 21, 2022 | |
| Python | 2 | Using formal methods for verifying Q-learning-based systems | Aug 07, 2022 | |
| None | 21 | A course on agile methods and open source | Apr 14, 2023 | |
| Python | 8 | The formal | Apr 13, 2023 | |
| TypeScript | 19 | A few methods of measuring CSS-in-JS performance | Jul 14, 2022 | |
| Matlab | 23 | The source codes in the CVPR2013 Paper: Measuring Crowd Collectiveness | Mar 28, 2023 | |
| None | 108 | WeOpen Star is a project that provides growth support for open source contributors, enthusiasts and … | Jun 12, 2022 | |
| Python | 20 | An open source framework for interactive multiobjective optimization methods | Jun 28, 2022 | |
| CSS | 3 | An open source collection of design principles and methods. | Nov 09, 2020 | |
| Python | 2 | Code for measuring the synchronization of musicians, with many onset detection methods implemented. | Nov 04, 2022 | |
| None | 13 | FVyper: A collection of useful Vyper contracts developed with formal methods | Feb 12, 2023 | |
| Python | 53 | FVyper: A collection of useful Vyper contracts developed with formal methods | Mar 28, 2023 | |
| C++ | 2 | the intent formal language | Mar 30, 2023 | |
| None | 384 | A gently curated list of companies using verification formal methods in industry | Aug 15, 2022 | |
| Java | 3 | ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008) | Jul 10, 2022 | |
| Ruby | 11 | A web page with resources for teaching with formal methods and tools. | Apr 08, 2023 | |
| None | 4 | Open Source Guide to Earth Observation in Development Cooperation - Methods & Guidance | Nov 21, 2021 | |
| Julia | 2 | Locally open source code locations of function methods directly from Julia | Dec 26, 2021 | |
| Python | 95 | Enso: An Open Source Library for Benchmarking Embeddings + Transfer Learning Methods | Nov 17, 2022 | |
| None | 2 | Formal methods training program with an emphasis on software in the blockchain & decentralized financed … | Jun 13, 2022 | |
| Jupyter Notebook | 119 | Formal methods training program with an emphasis on software in the blockchain & decentralized financed … | Nov 07, 2022 | |
| Python | 3 | Measuring time to run functions, methods or blocks of code made easy. | Sep 02, 2022 | |
| Python | 12 | FMF, Formal Methods Foundation. 形式化方法2020春，作业 | Nov 04, 2022 | |
| TeX | 4 | Repository for SOEN 331 - Introduction to Formal Methods for Software Engineering - Winter 2021 | Jan 09, 2023 | |
| None | 2 | The best open source bomber / Лучший open source бомбер | May 02, 2023 | |
| TypeScript | 3 | The Open Store for Open Source | May 03, 2023 | |
| Python | 5 | Open Source Code for Extraction of Methods and Datasets from Biomedical Papers | Jan 12, 2022 | |
| C# | 2 | ExceptionExtensions is open source library with useful methods for working with exceptions | Sep 27, 2023 | |
| SCSS | 3708 | The Less Formal CSS Framework | Aug 21, 2022 | |
| PHP | 5 | the Open Source SIEM | Dec 08, 2020 | |
| None | 424 | The Open Source Survey | Jul 27, 2022 | |
| PHP | 3 | The Open Source PayPal | Jan 01, 2023 |