santolucito

Mark Santolucito's repositories

PitchSetTheory

Language:HaskellBSD-3-Clause5 30

santolucito.github.io

My personal page

Language:HTML4 4 1

Haskell-TORCS

Haskell bindings for TORCS

Language:TeXBSD-3-Clause2 70

COMS3930-Module01

Generative art module

Language:Processing1 20

DecentraliNK

Language:HaskellBSD-3-Clause1 30

Euterpea_Projects

An assortment of projects using Euterepa

Language:TeXMIT1 30

live-coding-practice

Language:SuperCollider100

LIVS-Synth

Language:HaskellBSD-3-Clause1 40

MIDIDrums

MIDI version of Shiny Drum Machine

Language:JavaScriptMIT1 10

sclang-logger

Language:HaskellNOASSERTION100

acorns2oakes

Language:HTML000

aoc-mgz

Age of Empires II recorded game parsing and summarization in Python 3.

Language:Python000

AOE2TCIdleTime

Language:Python000

benchmarks

Benchmarks for SyGuS Competition (SyGuS-Comp)

Language:SMT010

cardgame

haskell cardgame

Language:JavaScriptApache-2.0020

codingpractice

some practice problems

Language:Haskell000

cs-pui.github.io

Language:HTML000

EmbeddedProjects

Random embedded systems projects

Language:C++020

ESP32aceTeam

SpaceTeam for ESP32s

Language:C++030

Flutter-Meditation-App

Language:Dart000

FRPGame

Language:TeX020

hanoi

Haskell Hanoi Automation Library

Language:HaskellMIT000

IaCAnalysis

000

Ijscar

Language:RubyApache-2.0000

KLit

Language:Kotlin020

markdown-folder-to-html

Convert a folder with files and markdown documents to an HTML site

Language:TypeScript030

nyegoals

000

SDCopier

Language:C000

travelapp

Language:JavaScriptNOASSERTION02 12

z3

The Z3 Theorem Prover

Language:C++NOASSERTION010