Productive, portable, and performant GPU programming in Python.

LeetCode Problems' Solutions

The Z3 Theorem Prover

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 3832 LeetCode Problems (Weekly Update)

KLEE Symbolic Execution Engine

Lean Theorem Prover

A lightweight parameter server interface

LLMs as Copilots for Theorem Proving in Lean

This is the code used for the paper "Inferring algorithmic patterns with a stack augmented recurrent network", by Armand Joulin and Tomas Mikolov.

The Vampire Theorem Prover

KtikZ provides a nice user interface for making pictures using TikZ.

MathWebSearch Implementation

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.