Building A Correct-By-Construction Proof Checkers For Type Theories

Mechanizations of Type Theories

agda-mode on VS Code

Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.

ECOOP 2022 Elementary Type Inference

A Learning Environment for Theorem Proving with the Coq proof assistant

Formalization for Dependent Polymorphic Subtyping, from a sub-directory of my main working repository

A collection of MuJoCo based environments.

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

Student-run wiki for students interested in computer science at Cornell University

Differentiable SDE solvers with GPU support and efficient sensitivity analysis.

List of Computer Science courses with video lectures.

Runtime type annotations for the shape, dtype etc. of PyTorch Tensors.

A Deep Reinforcement Learning Library for Automated Trading in Quantitative Finance. NeurIPS 2020. Please star. 🔥

Reinforcement learning algorithms for MuJoCo tasks

Platform for designing and evaluating Graph Neural Networks (GNN)

ROBEL: Robotics Benchmarks for Learning with low-cost robots

Code for the paper "When to Trust Your Model: Model-Based Policy Optimization"

Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support

A repository of high-performing hierarchical reinforcement learning models and algorithms.

Convert your (Beamer) PDF slides to (Powerpoint) PPTX