m-pluta/SATori

Stars
2
Language
Python
Created almost 2 years ago
Updated 5 months ago

m-pluta/SATori

m-pluta

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

A DPLL SAT-solver developed for a piece of coursework using watched-literals, PLE and heuristics.

tic-tac-toe

Tic Tac Toe Console

voicecards

Android app used for flashcards. Flashcards are natively able to be created through voice input.

nea-invoicing-project

docx-file-interface

A short package used to interact with DOCX files, and tables within them. Used to populate a template invoice with data during my NEA.

exoplanet-sim

Scripts for modelling the heat content of exoplanets following an eccentric orbit to determine if they fall within the habitable zone

data-cleaning-coursework

Data Science coursework in Y2 for cleaning, analysing and visualising data

Jupyter Notebook

m-pluta

nea-recipe-project

Recipe Project NEA for school

Visual Basic .NET

nixos

NixOS configuration

bashrc

Bash shell configuration

cs-dept-app

progblack-journal

CT-Logic-Written-Assignment

mandelbrot

Mandelbrot set in p5.js

game-of-life

John Conway's Game of Life in Java

honk-if-you-haggle

A responsive website developed during university for buying used cars using Bootstrap

tcp-messaging-app

image-processing

bias-in-ai-report

library-app

Library Applicaton from freecodecamp.org

svp

machine-learning

Jupyter Notebook

pathfinding-tsp

hackathon