scottviteri Goto Github PK

3dparametriccurves

6.148

Competition Class

algorithms

Algorithms repo, motivated by ProjectEuler

babystepgiantstepimplementation

Toy implementation of baby-step giant-step algorithm for discrete logarithm in a cyclic group

clang

Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

clusterability_in_neural_networks

configanddotfiles

constructionsounds

Peak detection on ambient noise in a coffee shop, where the construction workers bang on a building to create fascinating polyrhythms

coqast

Fun plugin to play with the Gallina AST.

coqprojects

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

democraticconstitutionalai

desktop-environment

Helps you control your GNU/Linux computer from Emacs

discoveringmusicalscales

This repo rederives the major and pentatonic scales (and modes thereof), discovers new scales, and creates sample melodies in those scales

drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. Please see the WIKI for documentation.

exploringthespaceofshortprograms

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

fillinthemissingword

geocoq

A formalization of geometry in Coq based on Tarski's axiom system

geometricalgebra

A simple implementation of the GA multiplication operation using sympy in python

higher-order-unification

A small implementation of higher-order unification

intonation

Helps increase vocal pitch accuracy.

latex-homework-template

🎓📄 The LaTeX file that I used as the base for all my homework in university.

llm-tools

lmkindergarten

lsp-racket.el

Emacs client for Racket Language Server Protocol

manipulateprooftrees

Analyze tree structure of Coq proof objects

markoviantraining

mlfamilyandhaskellexamples

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

monadicpythonshell

my-website