claudiomenghi Goto Github PK
Name: claudiomenghi
Type: User
claudiomenghi's Projects
aristeo-1
AppRoxImation-based TEst generatiOn
checkerforhybridautomata
Checker for MITL formulae on Hybrid Automata
chia
CHecher for Incomplete Automata
claudiomenghi.github.io
Contains my personal website
cover
COVER (Change-based gOal VErifier and Reasoner) is a unified framework that supports the interplay between requirements engineer and software designer.
ctl
Computation Tree Logic
dslzoo
Robotics DSL Zoo
eclipsecpp
fiddle
Framework for Iterative and Distributed Design of componEnts
formal-methods-courses
Here we collect worldwide courses teaching formal methods
group_00
group_aaa
ltl
Linear Time Temporal Logic
mapmaker
Multi-robot plAnner for PArtially Known EnviRonments
markdown-licenses
A collection of open source licenses in Markdown format. Contributions are always welcome!
mitlsat
networkcommunication
patterns
Contains patterns for robotic missions
psalm
Pattern bAsed MIssion Specifier
rest2ros
Converts REST into ROS messages
rfol
Restricted Signals First-Order Logic (RFOL)
rose6icse
tack
Timed Automata ChecKer
torpedo
Partial kripke structure LTL model checker
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.