Discover @s1db Open Source projects

@s1db

s1db

Stars
37
Global Rank 421,862 (Top 15 %)
Followers 85
Following 264
Registered over 10 years ago
Most used languages

Python
76.5 %

JavaScript
5.9 %

C
5.9 %

Java
5.9 %

HTML
5.9 %
Location 🇮🇳 India
Country Total Rank 15,598
Country Ranking

Python
5,144

C
5,963

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

MRS-H

Modelling Reactive Systems in SPIN