Lists (22)
ai-code
ai-code-verification
aitp
cognitition science
continual-learning
course
cv
formal-verification
internet
itp
latex
llm
my-project
🚀 My stack
neuro-symbolic
paper-skills
PL
presentation
program-analysis
quant
RL
term-rewriting
Stars
Productive, portable, and performant GPU programming in Python.
A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports comp…
Helper application for Linux distributions serving as a kind of "entry point" for running and integrating AppImages
a language for fast, portable data-parallel computation
🏋️ Python / Modern C++ Solutions of All 3873 LeetCode Problems (Weekly Update)
LLMs as Copilots for Theorem Proving in Lean
KtikZ provides a nice user interface for making pictures using TikZ.
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.