Highlights
- Pro
Stars
minimal-emacs.d - Better Emacs defaults and optimized startup, intended to serve as a solid foundation for your vanilla Emacs configuration
Completion-At-Point Extension for YASnippet
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Most influential papers in programming languages
A Rocq formalization of information theory and linear error-correcting codes
A Probability Theory Library for the Coq Theorem Prover
❄️ My nix config for both desktops(NixOS+macOS) and homelab servers(NixOS).
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
My personal typst lib 4 note taking & presentation.
Code for ASE'24 paper "B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests"
A project to map out the relations between different equational theories of Magmas.
Exact Inference Engine for Probabilistic Programs
Agda is a dependently typed programming language / interactive theorem prover.
Listen, attend and spell Model and a Chinese Mandarin Pretrained model (中文-普通话 ASR模型)
图解计算机网络、操作系统、计算机组成、数据库，共 1000 张图 + 50 万字，破除晦涩难懂的计算机基础知识，让天下没有难懂的八股文！🚀 在线阅读：https://xiaolincoding.com
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。