Pinned Repositories
102_comb_lean
Lean proofs of (some) problems from the book "102 Combinatorial Problems"
aesop-fables-xltx
Aesop's Fables typeset with XeLateX
MathBot
A python discord bot for a Maths class chat.
OP2-Common
OP2: open-source framework for the execution of unstructured grid applications on clusters of GPUs or multi-core CPUs
react-ts-starter
Boilerplate code for a react-typescript frontend.
serenity
Notifications without the stress.
SolFrontend
Sol is a web app for creating and sharing short-form, interactive lessons.
viper-rs
A lightweight version control system, built with inheritance-based templates at its core,to help speed up your code projects!
vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
mgsium's Repositories
mgsium/102_comb_lean
Lean proofs of (some) problems from the book "102 Combinatorial Problems"
mgsium/MathBot
A python discord bot for a Maths class chat.
mgsium/viper-rs
A lightweight version control system, built with inheritance-based templates at its core,to help speed up your code projects!
mgsium/serenity
Notifications without the stress.
mgsium/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
mgsium/aesop-fables-xltx
Aesop's Fables typeset with XeLateX
mgsium/OP2-Common
OP2: open-source framework for the execution of unstructured grid applications on clusters of GPUs or multi-core CPUs
mgsium/alg
A collection of algorithm implementations.
mgsium/bf-hs
An intrepeter for the esolang brainf**k written in Haskell with parsec
mgsium/breadcrumbs-uptime-monitor
An uptime monitor for https://github.com/jjayeon/breadcrumbs, created using upptime
mgsium/cabal
Official upstream development repository for Cabal and cabal-install
mgsium/common-sense-ltx
Thomas Paine's 1776 pamphlet Common Sense typeset in LaTeX. Full text used can be found at Project Gutenburg (https://www.gutenberg.org/files/147/147-h/147-h.htm)
mgsium/Conure
Conure is a gamified productivity app built in ReactJS
mgsium/dcs-notes.github.io
Unofficial notes for modules offered in the first year of Computer Science by the University of Warwick
mgsium/devchat
Chat over SSH
mgsium/finn
C++ winsock messenger program
mgsium/flora-server
A package index for the Haskell ecosystem
mgsium/game-of-life
A web app simulating a model of Conway's Game of Life, built using C++, Web Assembly, and ReactJS.
mgsium/image-matcher-frontend
Hack the Midlands 7.0
mgsium/interview-practice-apis
mgsium/mandelbrot-vis
A collection of renderings of the mandelbrot set in python, java and processing.
mgsium/MG-CFD-app-OP2
OP2 port of MG-CFD. Provides MPI, full OpenMP, CUDA, OpenACC, OpenMP 4, and pairings of them.
mgsium/mgsium
Profile Repository
mgsium/miniAeroSeq
A sequential version of Mentevo's mini-app miniAero
mgsium/mycsphd.github.io
Whether, why, and how to get a Ph.D. in CS.
mgsium/novata
thoughts, ideas, la retartecojn - contribs and prs welcome
mgsium/PAD
Investigations of Perfect, Abundant and Deficient numbers.
mgsium/spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
mgsium/viper-rs-website
The website for https://github.com/mgsium/viper-rs . Built with Neutrino & Bulma. Tested with Mocha!
mgsium/wordle_solver
A python wordle solver