UniversalBackrooms. A replication of Andy Ayrey's "Backrooms" (https://dreams-of-an-electric-mind.webflow.io/), but runnable with Opus 3, Sonnet 3.5, GPT 4o, and o1-preview
117MarkovianTraining. Python
10AttentionGuidedRL. Python
4DemocraticConstitutionalAI. Python
4WhatIsMusic. An original characterization of harmony, complete with working code
4ManipulateProofTrees. Analyze tree structure of Coq proof objects
3AutoCurriculum. Python
3r1-chat. Interactive Flask-based chat with streaming responses, multiple conversations, and LaTeX rendering. Features user-assistant pairs, conversation history in JSON, deletion of messages or entire conversations, and an API key loaded from env or a local file.
3intonation. Helps increase vocal pitch accuracy.
2ExploringTheSpaceOfShortPrograms. Using the Universal Iota Combinator and the zot programming language to find patterns in the space of short programs.
2MLFamilyAndHaskellExamples. Gets a nix package manager user simultaneously up and running on basic examples of SML, Ocaml, Fsharp, and Haskell.
2LMKindergarten. Jupyter Notebook
2ConfigAndDotFiles. Emacs Lisp
1ReversibleUniverse. A simple automata model of a universe with conserved information and increasing entropy
1ParametrizedMoodMusic. Racket
1ActiveLearningLM. Use RL to train an LM to choose its next training data, following up on Markovian Training
1RandomizedModelCounting. Model counting of boolean formulas, with approximation by trying random models
1UnsupervisedLearningComparisons. Applying and comparing PCA, mulit-dimensional scaling, and gaussian mixture models
1Neural-Cellular-Evolution. Python
1Algorithms. Algorithms repo, motivated by ProjectEuler
1NNVisualizationWithAutoencoder. Jupyter Notebook
1CoqProjects. Coq
1RedditScraping. Provides tools to scrape Subreddit posts via python and store in CSV file -- uses much from https://www.datacamp.com/community/tutorials/scraping-reddit-python-scrapy
1llm-tools. Python
1TVTropesAnalysis. Can we find underlying themes and myths behind stories using data from TV Tropes?
1my-website. HTML
1MonadicPythonShell. Python
1Autodidact. Python
1