PaoloMasci

PaoloMasci's Stars

• janishar/mit-deep-learning-book-pdf

  MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville

  Language:Java13k411182.7k

• nasa/pvslib

  NASA PVS Library of Formal Developments

  Language:Common Lisp27031350

• SRI-CSL/PVS

  The People's Verification System

  Language:Common Lisp144197033

• pvsioweb/pvsio-web

  A javascript library to connect to and communicate with a pvsio process using websockets

  Language:JavaScript16716923

• tomooda/ViennaTalk

  ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk

  Language:Smalltalk14960

• brocciagi/cognitive_framework

  100

• Gaspi/pvs2C

  Language:Common Lisp1302

• haslab/hcispecs

  Formal models of human-machine interfaces

  Language:HTML1400

• nathanielw/pvsio-web

  A javascript library to connect to and communicate with a pvsio process using websockets

  Language:JavaScript1111