Pinned Repositories
GRACE
[GRL+ @ ICML 2020] PyTorch implementation for "Deep Graph Contrastive Representation Learning" (https://arxiv.org/abs/2006.04131v2)
EasterCache
A full-featured MIPS cache implemented in Chisel3.
awesome-bupt-scs
北京邮电大学计算机学院本科编程作业索引
awesome-neural-code-intelligence
A curated list for awesome machine learning methods for neural code intelligence.
cdot-calculus
Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
fscala2c
Bring a subset of Scala to native C!
haskell-katas
Codewars Katas solved in Haskell
YaDNS
Yet Another DNS relay server that can be used as a local DNS over HTTPS (DoH) proxy.
PyGCL
PyGCL: A PyTorch Library for Graph Contrastive Learning
scala3
The Scala 3 compiler, also known as Dotty.
Linyxus's Repositories
Linyxus/cdot-calculus
Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
Linyxus/mltt
A tiny MLTT theorem prover
Linyxus/capture-calculus.lean
Linyxus/papiers-core
Linyxus/agda-katas
Learning Agda by solving katas
Linyxus/lean4-medley
Linyxus/haskell-katas
Codewars Katas solved in Haskell
Linyxus/academic-profile
Linyxus/agda
Agda is a dependently typed programming language / interactive theorem prover.
Linyxus/assortiment
Lean candy assortiment
Linyxus/cats.lean
Learning category theory by formalising it in Lean
Linyxus/cs-552-modern-nlp
Repository for EPFL's CS-552: Modern NLP class
Linyxus/dotfiles
My dotfiles.
Linyxus/dotty
Research platform for new language concepts and compiler technologies for Scala.
Linyxus/einc
Yet another programming language experiment
Linyxus/extended-pdot-calculus
pDOT calculus extended with inversion rules.
Linyxus/fos-lean
Linyxus/free-mona.de
https://free-mona.de
Linyxus/github-readme-stats
:zap: Dynamically generated stats for your github readmes
Linyxus/KDTree-Formalization
Formalization of k-d tree using Stainless.
Linyxus/lean4-macros
Linyxus/Linyxus
Linyxus/notebook-blog
Linyxus/pl-deadlines
:alarm_clock: AI conference deadline countdowns
Linyxus/pyLox
Yet another Lox interpreter implemented with Python.
Linyxus/rlox
Rust implementation of the Lox language.
Linyxus/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Linyxus/spacemacs.d
My spacemacs.d.
Linyxus/su-lang
Programming language experiments.
Linyxus/yacc.lean4
Yet another formalisation of capture calculi