xdanielsb/model-checking xdanielsb/model-checking

  • Stars
    star
    1
  • Language
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xdanielsb/model-checking
github

xdanielsb

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Some scripts to learn NuSMV

More Repositories

1

patterns

Good practices to create code in Java, open to other languages. ⚡
Java
16
star
2

chat

Real time chat visit
CSS
9
star
3

computer-vision

This repository contains some algorithms of Computer Vision some of them Implemented from scratch.
Python
7
star
4

charts

D3js libraries which provides visualization for energy consumption
JavaScript
4
star
5

chicago-point

Small application to suggest some places to live in Chicago.
JavaScript
4
star
6

pet-factory

Registry system, create the database on disk using POSIX functions.
C++
3
star
7

kdtree

Some repository which contains a lecture I gave of kd-trees .
C++
3
star
8

planarity-testing

This project implements and algorithm for testing whether a given graph is a planar graph.
Java
2
star
9

neo4j-path

writing some algos in neo4j
2
star
10

track-images

C++
2
star
11

species-simulation

This is a simulation of a game in c++
C++
2
star
12

schedme

HTML
2
star
13

marathon-book

❗ A collection of algorithms for competitive programming.
C++
2
star
14

fractals_sync_chaos

Python
1
star
15

rmi-game

A game coded from scratch similar to agar io, designed to work over a distributed architecture.
Java
1
star
16

competitive-programming

C++
1
star
17

book-recomender

Program in Prolog to recommend books, based on 5 big persanality traits.
Prolog
1
star
18

hackcloud

Vue
1
star
19

runge-kutta4

Python
1
star
20

concurrent-trains

Simulate a railway with N trains and N rails avoiding deadlocks
Java
1
star
21

limit-cycle

In this repo is shown Limit cycle corresponding to an analysis in dynamic systems.
1
star
22

scala-compiler

A small scala compiler for a custom language definition
Scala
1
star
23

OperatingSystems

Usefull scripts in Operating Systems using POXIS functions.
C++
1
star
24

DetectColor

Simple application to detect the color that you desire in an image.
Python
1
star
25

uml-to-thrift

Assembly
1
star
26

pig-counter

some tests with Piglatin
PigLatin
1
star
27

blog-flask

minimalist flask app to show cards
HTML
1
star
28

prolog-maze

Old code of solving a maze with prolog.
Python
1
star
29

lorentz

Python
1
star
30

pgSql

repository with examples of PL/pgSQL and PL SQL
PLpgSQL
1
star
31

web-assembly

WebAssembly
1
star
32

lunch-service

A simple prototype application to manage the logic behind restaurant tickets of a public university in Colombia.
HTML
1
star