Stars
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Robust mixture modeling using weighted complete estimating equations
Experiments with interactive theorem provers, LLMs and formal systems
A vim plugin for the LanguageTool grammar checker
Hitchhiker's Guide to Logical Verification (2023 Edition)
LLMs as Copilots for Theorem Proving in Lean
A command-line-based arXiv.org article browser and batch downloader.
A system for stashing and loading the results of long running computations.
Interact with Obsidian in the terminal. Open, search, create, update, move and delete notes!
An implementation of GTD in Obsidian
Code for tree representation of brain connectomes
A truly simple website template for academics
A framework for detecting, highlighting and correcting grammatical errors on natural language text. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.
Code for paper "Fast and Robust Group-Wise eQTL Mapping Using Sparse Graphical Models. Wei Cheng, Yu Shi, Xiang Zhang, Wei Wang. BMC Bioinformatics, 2015"
Code for paper "Graph Regularized Dual Lasso for Robust eQTL Mapping"(ISMB'14)
LaTeX Template for Mike Morrison's #betterposter
OWL: A generic method to robustly fit probabilistic models
Tools in R for computing and using Z-estimator approximate influence functions.
Practical guidance for time series analysis in Python
Minimal website template for academics
Numerical examples from the preprint https://arxiv.org/abs/2208.02806