liqing-yang

liqing-yang's Stars

• CyC2018/CS-Notes

  :books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

  175k5.3k56650.8k

• HMBSbige/ShadowsocksR-Windows

  Ship of Theseus

  Language:C#7k14801.1k

• qinyuhang/ShadowsocksX-NG-R

  Next Generation of ShadowsocksX

  6.7k2691701k

• lampepfl/dotty

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.5k2108.1k989

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k645.5k346

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k919117

• hamler-lang/hamler

  Haskell-style functional programming language running on Erlang VM.

  Language:Erlang1k317839

• plctlab/PLCT-Open-Reports

  PLCT实验室的公开演讲，或者决定公开的组内报告

  1k5518153

• gsoc-cn/gsoc-cn

  Google Summer of Code 中文相关资料

  Language:Python834325274

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq3701714979

• agda/agda2hs

  Compiling Agda code to readable Haskell

  Language:Agda1752018137

• spencerwooo/PaimonMenuBar

  Track real-time Genshin Impact stats in your macOS menubar

  Language:Swift16231712

• pfalcon/awesome-program-analysis

  Program Analisys and Transformation survey and links (particular focus on SSA)

  15214124

• discus-lang/iron

  Coq formalizations of functional languages.

  Language:Coq14120010

• andreasabel/miniagda

  A prototypical dependently typed languages with sized types and variances

  Language:Haskell104734

• HoTT/EPIT-2020

  EPIT 2020 - Spring School on Homotopy Type Theory

  Language:TeX10219011

• WasmCert/WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq90122611

• ice1000/CompilerWorks

  :octocat: 编译原理相关的工作岗位收集

  861137

• GillianPlatform/Gillian

  The Gillian Platform main repository

  Language:OCaml75811611

• softengindustry/Topics

  Information about the topics for each week of the course - published week by week.

  691703

• jldodds/coq-lean-cheatsheet

  A quick reference for mapping Coq tactics to Lean tactics

  Language:Lean68744

• FlagOpen/FlagBoot

  Language:Scala61604

• dcapwell/scala-tour

  My notes for scala

  Language:JavaScript58818

• mit-frap/spring20

  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020

  Language:Coq19529

• plseddl/plse-deadlines

  PL/SE conference deadline countdowns

  Language:HTML19005

• gergoerdi/stlc-agda

  STLC-related snippets in Agda

  15301

• Can-ZHOU/Nottingham-FYP-Template

  Nottingham FYP Template

  Language:TeX6200

• hubbards/stlc-haskell

  Simply typed lambda calculus in Haskell

  Language:Haskell5201

• matthew-healy/plfa

  Notes and exercises from Programming Language Foundations in Agda

  Language:Agda3200

• NIaa/plfa

  Learning plfa

  Language:Agda1100