Lists (23)
ai-code
ai-code-verification
aitp
cognitition science
continual-learning
course
cv
formal-verification
internet
itp
latex
llm
llm-agents
my-project
🚀 My stack
neuro-symbolic
paper-skills
PL
presentation
program-analysis
quant
RL
term-rewriting
Stars
Comprehensive open-source library of AI research and engineering skills for any AI model. Package the skills and your claude code/codex/gemini agent will be an AI research agent with full horsepowe…
A LaTeX class for producing presentations and slides
🍃 SimplePlus - A minimalist and clean LaTeX Beamer theme
Stanford LaTeX poster template
A Rust language and style specification for the LaTeX-package listings
The Latex version of Mike Morrison's "better poster" template
🫐 SimpleDarkBlue - A simple and clear LaTeX Beamer theme
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
Write formal proofs in natural language and LaTeX.
LaTeX package for simple but pretty conference posters
LaTeX package for printing EBNF in plain text format