There are no reviews yet. Be the first to send feedback to the community and the maintainers!
DemocraticConstitutionalAI
MarkovianTraining
LMKindergarten
intonation
Helps increase vocal pitch accuracy.ManipulateProofTrees
Analyze tree structure of Coq proof objectsConfigAndDotFiles
TVTropesAnalysis
Can we find underlying themes and myths behind stories using data from TV Tropes?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 modelsExploringTheSpaceOfShortPrograms
Using the Universal Iota Combinator and the zot programming language to find patterns in the space of short programs.Love Open Source and this site? Check out how you can help us