Difference between revisions of "Resources"

From Cardano Wiki
Jump to: navigation, search
Line 20: Line 20:
  
 
==Technical Resources==
 
==Technical Resources==
 +
 +
*[https://github.com/input-output-hk/cardano-sl Cardano Github]
  
 
*[https://github.com/runtimeverification RuntTime Verification Github]
 
*[https://github.com/runtimeverification RuntTime Verification Github]
  
 
*[https://github.com/kframework K Framework Github]
 
*[https://github.com/kframework K Framework Github]

Revision as of 12:06, 6 March 2018