s1db/MRS-H

This repository has been archived on 15/Mar/2021
Stars
1
Language
C
Created almost 4 years ago
Updated over 3 years ago

s1db/MRS-H

s1db

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

Modelling Reactive Systems in SPIN

tuppers-self-referential-formula

For my 9th grade mathematics assignment I made some plots using Tupper's Self Referential Formula which is a formula theorized by Jeff Tupper.

Local-Search-Copeland-Method

voter-preference-templates

A library for generating voter patterns to study different social welfare functions.

tango_with_django_project

University project

project-element

Website for Project Element

scholaronroad

sugar-Interactive-faq-system

A faq-ircbot, and as an activity within Sugar.

NN-Verification

Verifying Neural Networks

file-transfer-cli

A barebone file transfer protocol written on Python.

proof-logging

Exploring proof logging of solvers and trying to make a MSci dissertation out of it.

Voting-Optimization

bulletproof_testing

sudoku-activity

Sudoku for Sugarizer!

Copeland-Method

2021-THI-Internship

Files and Notes from THI Internship Summer 2021

smol-proofs

lets make proofs smol uwu 🤏 🧾

gesture-passwords

gesture passwords!!!!

level4-project

Main project repo.

y1s2