marcomaida/marcomaida.github.io Fork of academicpages/academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language: JavaScript - Size: 57.8 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

marcomaida/treecode

Language: JavaScript - Size: 1.83 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

marcomaida/chocoquickbatch

Quick batch to install choco and main programs

Language: Batchfile - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 1

marcomaida/coqprofiler

A simple profiler of coq files

Language: Python - Size: 456 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

marcomaida/resume

My resume

Language: TeX - Size: 3.78 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

marcomaida/life-calendar

Simple life calendar generator

Language: Python - Size: 4.52 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

marcomaida/open-gym-playground

Learning OpenGym

Language: Python - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

marcomaida/haskellplayground

Exercises in Haskell -> Functional training.

Language: Haskell - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

marcomaida/vscoq Fork of coq-community/vscoq

A Visual Studio Code extension for Coq [maintainer=@maximedenes]

Size: 2.1 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

marcomaida/rustplayground

Language: Rust - Size: 456 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

marcomaida/coqplayground

Language: Coq - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

marcomaida/peaksort

Language: C++ - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

marcomaida/bothoven

Language: C - Size: 11.4 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

marcomaida/skyliner

My first published game, made with Unity

Language: C# - Size: 1.5 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

marcomaida/UnityScreenLogger Fork of gportelli/UnityScreenLogger

A simple on-screen logger for Unity 3D

Language: C# - Size: 352 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

marcomaida/unityshaders

My Unity shaders

Language: ShaderLab - Size: 84.2 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

marcomaida/musicbrainzqueries

project for db2018

Language: PLpgSQL - Size: 1.99 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

marcomaida/TestingGrounds

arena FPS boobs

Language: C++ - Size: 16.5 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

marcomaida/BlurryControls Fork of ConfusedHorse/BlurryControls

different controls with blurry appearance to inherit from, for c# and wpf development - works on windows 10 only

Language: C# - Size: 184 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

marcomaida/BattleTank

Open world head to head tank battle for course

Language: C++ - Size: 595 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0