hungshihhan

hungshihhan's Stars

• torvalds/linux

  Linux kernel source tree

  Language:C179k7.9k053.3k

• jgm/pandoc

  Universal markup converter

  Language:Haskell34k5167.6k3.3k

• microsoft/WSL

  Issues found on WSL

  Language:PowerShell17.3k57210.7k812

• Airblader/i3

  A fork of the i3 window manager with gaps and some other features. :warning: i3-gaps has been merged into i3.

  Language:C5.9k114396321

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10310k639

• agda/agda

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

  Language:Haskell2.5k635.5k343

• gentoo/gentoo

  [MIRROR] Official Gentoo ebuild repository

  Language:Shell2.1k8902k

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq95257517172

• anishathalye/auriga

  Auriga is a minimalist LaTeX beamer presentation theme 📽

  Language:TeX3279128

• michal-h21/tex4ebook

  Converter from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.

  Language:Lua3082912932

• QuickChick/QuickChick

  Randomized Property-Based Testing Plugin for Coq

  Language:Coq2491717446

• CQuIC/qcircuit

  A quantum circuit drawing application

  Language:TeX16692942

• mholson/sthlmNordBeamerTheme

  sthlmNord is a LaTeX Beamer slide deck theme inspired by the arctic north blueish colour palette of Nord. The code base is HEAVILY influenced by hsrmbeamer and mtheme. WIP

  Language:TeX1454419

• matthewwardrop/linux-surfacepro3

  Arch Linux package to compile the Linux kernel with patches designed to improve user experience on the Surface Pro 3.

  Language:Shell99231919

• inQWIRE/QWIRE

  A quantum circuit language and formal verification tool

  Language:Coq9019225

• cschwan/sage-on-gentoo

  (Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

  Language:Shell80869126

• inQWIRE/SQIR

  A Small Quantum Intermediate Representation

  Language:Coq7891423

• coq-community/coqeal

  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

  Language:Coq65151917

• coq-community/coq-100-theorems

  Statements of famous theorems proven in Coq [maintainer=@jmadiot]

  Language:HTML554714

• cynede/gentoo-wsl

  WSL Overlay (Running Gentoo on Windows Kernel)

  55672

• styluslabs/templates

  Document templates for Write

  Language:Shell554518

• williamstein/ant

  Algebra Number Theory book

  Language:TeX4753513

• ettoolong/BBSFox-E10S

  Firefox Add-on BBSFox for E10S support

  Language:JavaScript376509

• jpaykin/LNLHaskell

  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

  Language:Haskell35302

• dominique-unruh/qrhl-tool

  Proof assistant for qRHL

  Language:Scala185763

• aballier/ml-overlay

  Language:Shell75126

• autolwe/autolwe

  Language:OCaml7322