Discover @scottviteri Open Source projects

Scott Viteri (@scottviteri)

scottviteri

Stars
20
Global Rank 637,597 (Top 23 %)
Followers 8
Registered about 10 years ago
Most used languages

Jupyter Notebook
27.3 %

Python
18.2 %

Haskell
9.1 %

Coq 9.1 %

Racket
9.1 %

Scheme
9.1 %

JavaScript
9.1 %

Emacs Lisp
9.1 %
Location 🇺🇸 United States
Country Total Rank 135,062
Country Ranking

Coq 158

Racket
400

Scheme
791

Emacs Lisp
2,075

Haskell
2,705

DemocraticConstitutionalAI

MarkovianTraining

LMKindergarten

Jupyter Notebook

intonation

Helps increase vocal pitch accuracy.

ManipulateProofTrees

Analyze tree structure of Coq proof objects

WhatIsMusic

An original characterization of harmony, complete with working code

ConfigAndDotFiles

TVTropesAnalysis

Can we find underlying themes and myths behind stories using data from TV Tropes?

Jupyter Notebook

MLFamilyAndHaskellExamples

Gets a nix package manager user simultaneously up and running on basic examples of SML, Ocaml, Fsharp, and Haskell.

ParametrizedMoodMusic

RandomizedModelCounting

Model counting of boolean formulas, with approximation by trying random models

ExploringTheSpaceOfShortPrograms

Using the Universal Iota Combinator and the zot programming language to find patterns in the space of short programs.

Jupyter Notebook