akleemans/cp-logic

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Python
Created almost 12 years ago
Updated over 10 years ago

akleemans/cp-logic

akleemans

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

Some tools for classical propositional logic - my bachelor thesis.

fourcolors

An interactive, visual demonstration of the four color theorem.

bejeweled-bot

Plays an automated game of Bejeweled.

cs_unibe

Computer Science at the University of Berne: Some code and other stuff I wrote during my studies.

cache2file

Converts a chrome cache file (e.g. mp3) back into the original file.

letter-frequency

Identify the language of a text only by its letter frequency

crypto-bot-simulation

Writing a trading bot for fun ~~and profit~~

pokenotifier-whatsapp

Pokemon Go live notifications via Whatsapp (based on PokemonGo-Map)

evaluate-bnf

Test if a sentence can be generated by given BNFs (Backus-Naur-Form).

latex-wordcount

Counts number of words in a LaTeX file.

pogo-ivrater-lolcode

A Pokemon Go IV rater in lolcode.

blog-code

This repository contains code appearing on kleemans.ch

pushr

A block-pushing game.

repeat

Executes an automated sequences of clicks repeatedly

compare-pictures-dhash

AndroidDBTest

Simple project for testing a Sqlite3 database for Android

java8-cert

Some code for practicing for the Java 8 OCP

linalg2

Skript Lineare Algebra 2

sqlite3-microbrowser

python-library

simonsays-w8

A simple Windows 8 Metro App.

InputCapture

A simple tool for capturing user input like mouse positions, movement, key strokes and plotting them.

linalg1

Skript Lineare Algebra 1

recipe-search

websocket-example

Small example for data exchange over websockets.

CityDataSwitzerland

A little python app for finding geodata for a list of given cities