chrvadala/tableauSolver chrvadala/tableauSolver

  • Stars
    star
    2
  • Language
    Prolog
  • Created over 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrvadala/tableauSolver
github

chrvadala

Reviews

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

Repository Details

Prolog algorithm that applies the method of analytic tableaux and creates a graphical representation of a propositional tableau

More Repositories

1

react-svg-pan-zoom

๐Ÿ‘€ A React component that adds pan and zoom features to SVG
JavaScript
677
star
2

transformation-matrix

Javascript isomorphic 2D affine transformations written in ES6 syntax. Manipulate transformation matrices with this totally tested library!
JavaScript
360
star
3

node-ble

Bluetooth Low Energy (BLE) library written with pure Node.js (no bindings) - baked by Bluez via DBus
JavaScript
308
star
4

music-beat-detector

music-beat-detector is a library that analyzes a music stream and detects any beat. It can be used to control lights or any magic effect by the music wave.
JavaScript
254
star
5

awesome-protocols

Curated list of awesome technology protocols with a reference to official RFCs
28
star
6

create-music-stream

Creates a PCM 16 bit Little Endian Stream from a mp3 file or youtube video
JavaScript
24
star
7

potree-converter-docker

Potree Converter utility packed as Docker Container
Dockerfile
19
star
8

react-refactor

๐Ÿ”ง Convert your React Class Component to Functional Component and vice-versa
JavaScript
16
star
9

neopixel

Node.js library to control Adafruit NeoPixel based on ws2812 led family
C++
15
star
10

docker-compose-examples

๐Ÿ’ป This project intends to collect common docker-compose use cases. Each example can be used as a boilerplate.
PHP
13
star
11

kafka-test-helper

Utility library that simplify testing of Node.js components that interacts with Kafka broker.
JavaScript
8
star
12

weather-station

Connector able to download weather data from an Oregon Scientific EMR211X station, leveraging on Bluetooth Low Energy connection
JavaScript
6
star
13

mqtt-dispatcher

MQTT dispatcher is a library that extends MQTT.js and allows to route incoming messages on a specific handler, according to defined routing rules.
JavaScript
6
star
14

biconnected-components

Find biconnected component in a graph using algorithm by John Hopcroft and Robert Tarjan
JavaScript
3
star
15

aggregate-fn

Aggregate fn is a tiny Javascript utility that groups together multiple async operations.
JavaScript
3
star
16

const-version

โœจ A tiny command line tool that extract `package.json` version and generate `export const VERSION='...'` file. Useful when you want to package your software version.
JavaScript
3
star
17

github-actions

Github actions that automates some common scenarios.
2
star
18

react-redux-boilerplate

๐Ÿ˜‹ A suggested React + Redux projects structure.
JavaScript
2
star
19

aws-cloud-stacks

AWS CloudFormation stacks that speed-up projects development.
Shell
2
star
20

cisco-decrypt-docker

๐Ÿ™ˆ Docker container with Decoder for password encoding of Cisco VPN client
C
2
star
21

chrvadala.github.io

Hello, this is Christian Vadalร 's website. Here you can find a list of open source projects, backed by React, Node.JS and AWS technologies.
JavaScript
1
star
22

react-stylerify

A browserify wrapper around react-styling
JavaScript
1
star
23

sudoku.go

๐ŸŽฒ Sudoku solver written in golang
Go
1
star
24

sliding-window-max

Given a stream of data, this algorithm returns (for every added value) the current max value.
JavaScript
1
star
25

setup-my-pc

setup-my-pc.sh is a simple script that configures personal computers, virtual machines and servers with some common tools. It fastify the setup of a new development environment.
Shell
1
star