Discover @markisus Open Source projects

Mark (@markisus)

markisus

Stars
192
Global Rank 127,209 (Top 5 %)
Followers 31
Following 3
Registered about 14 years ago
Most used languages

C++
25.0 %

Python
20.0 %

JavaScript
15.0 %

Coq 10.0 %

Zig
10.0 %

Scheme
5.0 %

Java
5.0 %

CSS
5.0 %

Scala
5.0 %

motor_sim

BLDC and PMSM Motor Simulation

vapid-soa

A header only structure of arrays container for C++

pytagmapper

Python Mapping library for Fiducial Tags

zig-infix-parser

Parse comptime infix strings

zig-aoc2021

Advent of Code 2021 in Zig

coq-ski

Coq Library for SKI Combinatory Logic

g3

A library for the Geometric Algebra of the Vector Space R^3

variant_ptr

C++ template library implementing variant pointer types and visitation

aces.io

AlgoMusic

algoRHYTHMically create music using Midis and JFugue and Markov chains!

video-seeker

C++ wrapper for FFmpeg to decode video into an image buffer at a user specified timestamp

Alternote

Class management software including real time message boards (using Tornado)

mecs6616_sp23_project4_viz

Viz tools for Columba MECS6616 Project 4 (Robot Learning)

imgui-sdl-wrapper

A simple wrapper class for pyimgui sdl

pycrypto-binaries

Compiled Python Extensions for Pycrypto

ActivatorVagrant

Scaffolding for a vagrant setup with typesafe activator

formal-pigeonhole-principle

Formal proof of pigeonhole principle in Coq

Lorenz

Simple Lorenz Attractor Graphic

ScalaPokerEngine

Functional Implementation of Texas Holdem

foodpot