linusboyle Goto Github PK

blog

boogie

Boogie

bound-validate

build-your-own-x

🤓 Build your own (insert technology here)

cantata

Qt5 Graphical MPD Client for Linux, Windows, macOS, Haiku

casper_blog

Casper theme for my blog

church-cpp

an implementation of basic church encodings

codmips

collections-c

A library of generic data structures.

compcert

The CompCert formally-verified C compiler

connect-four-ai

an AI for connect4 game. Using MCTS

coq_snippets

fragmentary proofs

coqtail

Interactive Coq Proofs in Vim

cxml

just a simple xml parser in OCaml/Coq, using pxp

dde-dock-mpd

Plugin of dde-dock for displaying status of and controlling Music Player Daemon(MPD)

deepin-develop-guide

Deepin开发指南（包括 开发环境的搭建与配置、deepin下打包教程（deb、flatpak）、Deepin Tool Kit API手册）

deepin-notifications

mirrored from https://cr.deepin.io/#/admin/projects/deepin-notifications

deeplearning_sina

人工智能导论 情感分析神经网络

dict_files

my dictionary files

dotfiles

my dotfiles:)

fcitx_toggle.vim

simple script to automatically toggle your beloved fcitx in vim

git

Git 中文本地化请参考 master, maint, pu 分支。注意事项参见博客链接

goldendict_dark_mode

(Experimental)dark mode and style for goldendict

imgupload

insight

A Tcl/Tk Frontend for GDB. This is a portable package of insight for the sake of Jeff Duntemann's amazing book.

l2cdisplay

WIP display module of L2C The Verified Lustre Compiler

leaderf

An asynchronous fuzzy finder which is used to quickly locate files, buffers, mrus, tags, etc. in large project.

libsgt

sgt(synchronous graphics toolkit) is a minimal gui toolkit especially designed for the LDisplay compiler

linusboyle.cn

my old jekyll blog

linusboyle.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes