mekty2012's Stars
probabilistic-numerics/probnum
Probabilistic Numerics in Python.
cornellius-gp/gpytorch
A highly efficient implementation of Gaussian Processes in PyTorch
jxhe/vae-lagging-encoder
PyTorch implementation of "Lagging Inference Networks and Posterior Collapse in Variational Autoencoders" (ICLR 2019)
tum-pbs/PhiFlow
A differentiable PDE solving framework for machine learning
jax-md/jax-md
Differentiable, Hardware Accelerated, Molecular Dynamics
google-research/torchsde
Differentiable SDE solvers with GPU support and efficient sensitivity analysis.
James-Yu/LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
steshaw/plt
Programming Language Theory λΠ
hongseok-yang/CLT21
prosyslab-classroom/cs524-program-analysis
keeganstoner/nn-qft
Code used for experiments in https://arxiv.org/abs/2008.08601
HyunjoonCho/cs453-project-21s
Project on Adversarial Image Generation inspired by DeepXplore/DLFuzz
wonyeol/static-analysis-for-support-match
Towards Verified Stochastic Variational Inference for Probabilistic Programs
google/neural-tangents
Fast and Easy Infinite Neural Networks in Python
IBM/FormalML
Formalization of Machine Learning Theory with Applications to Program Synthesis
Lee-Janggun/CS454-2020-Team-2
KAIST CS454 Team 2. 2020 Fall
yallop/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
prosyslab-classroom/is593-language-based-security
hongseok-yang/probprog20
TaeK0717/TaeK0717.github.io
kaist-cp/cs420
KAIST CS420: Compiler Design (2023 Spring)
JaeseongChoe/KAIST-CS420-Term_Project
KAIST CS420 Compiler Design (Fall, 2019). Term Project. Team 12.
Z3Prover/z3
The Z3 Theorem Prover
kaist-cp/cs431
hongseok-yang/graduatePL19
norbert-mueller/iRRAM
Exact real arithmetic in C++