Stars
69
Forks
28
Language
Java
Last Updated
Apr 27, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| JavaScript | 8 | DEPRECATED Follow the link below to the new source plugin | Mar 07, 2023 | |
| None | 186 | Collection of Verification Tasks (MOVED, please follow the link) | Apr 18, 2023 | |
| Shell | 28 | this project has moved to a new repo. click the link below | Apr 19, 2023 | |
| C++ | 4 | Deprecated, see link below for new tree | Sep 28, 2021 | |
| C | 4 | *deprecated* for new trees check link below | Sep 04, 2020 | |
| C++ | 2 | *deprecated* for new trees check link below | Sep 04, 2020 | |
| Python | 16 | An Exchange Format for Verification Witnesses (MOVED, please follow the link) | Jan 28, 2023 | |
| Java | 9 | Formerly the home of GlassFish CORBA ORB. Please follow the link below for the current … | Feb 13, 2023 | |
| None | 13 | Information to reproduce results from SV-COMP (MOVED, please follow the link) | Mar 30, 2023 | |
| JavaScript | 15 | Deprecated: This documentation repo has been deprecated. Please visit the link below for the latest … | Dec 09, 2020 | |
| Python | 2 | Please check the below link for detail: | Aug 12, 2022 | |
| HTML | 2 | This repository belongs to my portfolio. Please find below the link of the same. | Feb 28, 2023 | |
| JavaScript | 225 | THIS REPO HAS MOVED! It has a pretty new home at github.com/h5bp ╰☆╮Please click this … | Jul 19, 2022 | |
| None | 12 | Project moved to a new Organization, check link below=> https://github.com/Galaxy-J5-Unofficial-LineageOS | Jul 09, 2022 | |
| None | 22 | This repository is deprecated, please find the new one here: | Mar 21, 2022 | |
| Java | 4 | JSF has been contributed to Eclipse Foundation and this repository is now called mojarra-jsf-extensions. Please … | Jan 27, 2023 | |
| Go | 2 | **Deprecated** This project is deprecated. New project is moved to | Jun 18, 2017 | |
| JavaScript | 4 | DEPRECATED please check new add-on at this link --> | Jul 11, 2020 | |
| TypeScript | 3 | Deprecated, use the package by the link below. | Jan 16, 2021 | |
| Java | 1798 | DEPRECATED please see the README.md below for details. | May 13, 2023 | |
| Java | 145 | THIS PROJECT IS NOW CLOSED. WE HAVE MOVED TO A NEW ZOM 2.0 MATRIX CORE. … | Jan 28, 2023 | |
| Python | 2 | new update on link below | Oct 06, 2022 | |
| JavaScript | 20 | Old blog. New link below: | Mar 14, 2021 | |
| TypeScript | 4 | No installation or download required. Just follow the link below | May 11, 2023 | |
| Go | 7 | DEPRECATED. Moved to https://github.com/elastic/beats. Please use the new repository to add new issues. | Sep 24, 2021 | |
| Shell | 192 | DEPRECATED. Moved to https://github.com/elastic/beats. Please use the new repository to add new issues. | Jun 22, 2022 | |
| JavaScript | 7 | This repository is no longer maintained. Please click the link below to find our official … | Jan 28, 2023 | |
| Java | 20 | This tool is deprecated. Please follow these new procedures - https://playbooks.idmanagement.gov/signfedregister/ | Sep 09, 2021 | |
| JavaScript | 19 | DEPRECATED: 3D viewer for JSCAD (see the link below) | Jan 28, 2023 | |
| JavaScript | 216 | DEPRECATED: CSG Library for JSCAD (See the link below) | Mar 23, 2023 | |
| JavaScript | 20 | DEPRECATED: Convert OpenSCAD to JSCAD (See the link below) | Jan 28, 2023 | |
| Swift | 586 | DEPRECATED Please use the new repo | Jun 19, 2022 | |
| C++ | 10 | Here you'll find the code of the secrets management infrastructure for KDE. Please visit TechBase … | Jul 09, 2021 | |
| None | 14 | This repository is deprecated. Please find the current role in its new location: | Jul 16, 2022 | |
| C++ | 4 | development moved back to forked repo! Check link below | Aug 14, 2021 | |
| HTML | 5 | DEPRECATED! Old website of the MicroBlocks programming language. Please check out the new GitLab repo … | Jan 28, 2023 | |
| JavaScript | 34 | DEPRECATED : Input Output handling for JSCAD (see the link below) | Jan 27, 2023 | |
| JavaScript | 23 | DEPRECATED : Experimental desktop app for JSCAD (See the link below) | Dec 30, 2021 | |
| JavaScript | 14 | DEPRECATED: OpenSCAD like API for JSCAD (See the link below) | Jan 27, 2023 | |
| C++ | 4 | This repository has been archived! Follow the link below for the current version: | Sep 18, 2022 | |
| JavaScript | 3 | Deprecated Discord Pokemon fan-game development kit repository. See new PokeSandbox repo link below. | Apr 02, 2023 | |
| Shell | 8 | DEPRECATED !!! Please use the new Nakadi website | Jan 17, 2020 | |
| JavaScript | 213 | The code for ADAL Node has been moved to the MSAL.js repo. Please open any … | Jun 07, 2022 | |
| Emacs Lisp | 2 | This project is deprecated and moved to tototoshi/helm-find-files-in-project | Jul 20, 2019 | |
| C++ | 2 | Please visit the new repository: https://github.com/eclipse-ecal/ecal | Aug 10, 2022 | |
| JavaScript | 417 | The code for Passport Azure AD has been moved to the MSAL.js repo. Please open … | May 27, 2022 | |
| None | 4 | Outdated repository - see link to new repository below: | Jan 31, 2022 | |
| CSS | 2 | Outdated repository - see link to new repository below: | Mar 14, 2023 | |
| Java | 28 | UPDATE 2011/2/15: WE ARE NOT USING THIS REPO ANYMORE. FIND THE NEW REPO AT THE … | Jan 28, 2023 | |
| Java | 2 | DEPRECATED. Please visit the new repository (idekerlab/KEGGscape) | May 30, 2018 |