mahan's starred repositories
awesome-emacs
A community driven list of useful Emacs packages, libraries and other items.
OpenFactVerification
Loki: Open-source solution designed to automate the process of verifying factuality
meltingpot
A suite of test scenarios for multi-agent reinforcement learning.
quiet-star
Code for Quiet-STaR
obsidian-enhancing-export
This is an enhancing export plugin base on Pandoc for Obsidian (https://obsidian.md/ ). It's allow you to export to formats like MarkdownăMarkdown (Hugo https://gohugo.io/ )ăHtmlădocxăLatex etc.
Lisp-In-Small-Pieces
Programs from the book Lisp in Small Pieces, updated to work on modern schemes
obsidian-code-emitter
An obsidian plugin that allows code blocks executed interactively in sandbox like jupyter notebooks. Supported language rustăkotlinăpythonăJavascriptăTypeScript etc.
open-game-engine
Haskell implementation of open games
tabula-muris-senis
Tabula Muris Senis
Bootstrap-Common-Lisp
An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.
MediaWiki-AWS
Deploy MediaWiki on AWS using Elastic Beanstalk
ScrapeContraryOS
This is meant to be a suite of tooling to scrape the contrary os