miheerdew's Stars
potamides/DeTikZify
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
sshonosuke/RobMixture
Robust mixture modeling using weighted complete estimating equations
RiccardoBiosas/LeanGPT
Experiments with interactive theorem provers, LLMs and formal systems
jez/pandoc-starter
📄 My pandoc markdown templates and makefiles
dpelle/vim-LanguageTool
A vim plugin for the LanguageTool grammar checker
blanchette/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
8vasu/paper.py
A command-line-based arXiv.org article browser and batch downloader.
jhrcook/mustashe
A system for stashing and loading the results of long running computations.
Yakitrak/obsidian-cli
Interact with Obsidian in the terminal. Open, search, create, update, move and delete notes!
alangrainger/obsidian-gtd
An implementation of GTD in Obsidian
phuchonguyen/brain-topology
Code for tree representation of brain connectomes
etam4260/kneedle
Kneedle algorithm in R -- detecting knees in graphs.
mavroudisv/plain-academic
A truly simple website template for academics
davidbuch/ballet_article
vizdata-s23/vizdata-s23
PrithivirajDamodaran/Gramformer
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.
chengw07/GeQTL
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"
chengw07/GDL
Code for paper "Graph Regularized Dual Lasso for Robust eQTL Mapping"(ISMB'14)
dbdahl/salso
Gabriel-p/pythonMCMC
A list of Python-based MCMC & ABC packages
rafaelbailo/betterposter-latex-template
LaTeX Template for Mike Morrison's #betterposter
cjtosh/owl
OWL: A generic method to robustly fit probabilistic models
rgiordan/zaminfluence
Tools in R for computing and using Z-estimator approximate influence functions.
youssefHosni/Practical-Time-Series-In-Python
Practical guidance for time series analysis in Python
timothygebhard/minimal-academic-website
Minimal website template for academics
wei2912/obsidian-latex
silvialiverani/PReMiuM-R-package
PReMiuM R package
athos00/git-difftex
ahoriguchi/treeSB_Numerical_Examples
Numerical examples from the preprint https://arxiv.org/abs/2208.02806