|
Java |
2 |
Main repository for the Hypermedea programming framework |
Jul 22, 2023 |
|
Python |
2 |
Main repository of the retico framework. |
May 19, 2022 |
|
None |
4 |
Schema for the addon manifest files (addon.json) hosted on the main repository. |
Jun 10, 2022 |
|
Java |
2 |
✅ Resource checker for the checker framework. |
Dec 24, 2020 |
|
Python |
2 |
The main repository for the DALICC framework and resources. |
Dec 08, 2022 |
|
CSS |
2 |
ThinkIT Guide Template main repository. |
Mar 17, 2021 |
|
None |
3 |
A template repository to host your Espanso packages outside the Hub |
Mar 29, 2023 |
|
Java |
4 |
Demos for the Checker Framework |
Apr 23, 2022 |
|
Verilog |
41 |
Main Repository for the SimBricks Modular Full-System Simulation Framework. |
Apr 11, 2023 |
|
TypeScript |
5 |
Repository that acts as a template for a Typescript serverless application hosted on AWS with … |
Aug 08, 2022 |
|
Java |
118 |
The main development version of the PRISM model checker. |
Apr 26, 2023 |
|
Go |
13 |
Extended (may be experimental) features outside the main gost tree. |
Apr 24, 2023 |
|
Java |
34 |
Static checker for Rx Threading Effects, based on the Checker Framework |
May 28, 2022 |
|
Java |
2 |
Reads stub files for the Checker Framework |
Nov 16, 2021 |
|
D |
9 |
The main repository for yurai |
Apr 05, 2022 |
|
None |
2 |
The Main repository for NukaOS ! |
Feb 27, 2022 |
|
TypeScript |
54 |
The main repository for Youarerad.org |
Jul 10, 2022 |
|
Shell |
3 |
The main repository for EHI |
Apr 14, 2023 |
|
Java |
2 |
Main repository for the coursework |
May 01, 2023 |
|
Go |
3 |
Simple HTTP Self-Hosted Health Checker |
Jun 18, 2021 |
|
HTML |
2 |
INET Framework Documentation Website (generated from the main INET repository) |
Dec 14, 2022 |
|
Java |
2 |
the main repository for the CW |
May 14, 2023 |
|
JavaScript |
15 |
Render React components like a Modal outside the main React app |
Dec 20, 2018 |
|
None |
11 |
The main repository for information on Call for Code® for Racial Justice projects, hosted by … |
Sep 06, 2022 |
|
Crystal |
22 |
The router for the Lucky framework, can be used outside Lucky |
Apr 09, 2023 |
|
Go |
932 |
Framework for performing work asynchronously, outside of the request flow |
Aug 10, 2022 |
|
C# |
3 |
A framework for responding to browser events outside the browser |
Sep 07, 2021 |
|
Go |
2 |
Framework for performing work asynchronously, outside of the request flow |
Jan 27, 2022 |
|
TypeScript |
2 |
Checker Framework for VS Code |
Jan 24, 2022 |
|
C++ |
48 |
The Cloud9 main repository |
May 14, 2022 |
|
Python |
2 |
The main project repository! |
Jul 13, 2021 |
|
C |
657 |
The main libseccomp repository |
Nov 24, 2022 |
|
C++ |
1286 |
The main freelan repository. |
May 23, 2023 |
|
Objective-C |
456 |
The main Oolite repository. |
May 29, 2023 |
|
TeX |
4 |
Main repository for the Nocturnale Romanum |
Apr 22, 2022 |
|
Python |
11 |
Main repository for the chatbot Bobotinho. |
Jun 17, 2022 |
|
None |
474 |
The main repository for discussing multiformats. |
Aug 15, 2022 |
|
Shell |
2 |
The main Repository for Zion Linux. |
Feb 06, 2022 |
|
C++ |
2 |
Main repository for the CCPPETMR software |
Jul 06, 2022 |
|
Python |
3 |
The main repository for pre-specialisation |
Mar 08, 2022 |
|
Shell |
3 |
Main repository for the FreeCon.ga group |
Apr 09, 2022 |
|
Python |
160 |
Main repository for the data.gov service |
Sep 01, 2022 |
|
SCSS |
8 |
Repository for the main dsmjs.com site |
Jan 07, 2022 |
|
C |
5 |
Main repository for the Programming division. |
May 25, 2023 |
|
None |
4 |
The main repository for the kOS project. |
Jan 06, 2022 |
|
C++ |
4 |
The main repository for the quickBlocks system |
Nov 20, 2021 |
|
C |
747 |
The main repository for the TrueBlocks system |
Sep 10, 2022 |
|
C |
3 |
The main repository for the Android Emulator |
Apr 26, 2023 |
|
None |
4 |
The main repository for the MSR maps. |
Jul 05, 2023 |
|
HTML |
2 |
The main webpage for the SharePoint REST Framework. |
Feb 10, 2023 |