xmonad
xmonad emulator
An implementation of the xmonad StackSet module in Coq
xmonad in Coq
43 stars
1 watching
8 forks
Language: Coq
last commit: over 12 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 xmonad/x11 | A Haskell binding to the X11 graphics library | 105 |
| xmonad/xmonad-contrib | Provides additional functionality and customization options for an X11 window manager written in Haskell. | 590 |
 randomthought/xmonad-config | A pre-configured xmonad environment | 74 |
 atifchy/xmonad | A comprehensive configuration file for a custom X11 window manager setup. | 66 |
 migueldeicaza/xtermsharp | A .NET library that emulates the Xterm terminal emulator on multiple platforms | 161 |
 coq-community/sudoku | A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure | 20 |
 soegaard/6502 | An emulator and toolset for the 6502 CPU | 9 |
| coq-community/coqoban | A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban | 21 |
 pedrotst/coquedille | Translates Coq terms into Cedille terms for a specific domain-specific language | 33 |
| coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 eugeneloy/coq_jupyter | A Jupyter notebook kernel for interactive theorem proving with Coq | 94 |
| coq-community/parseque | A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq. | 42 |
 dmxlarchey/kruskal-trees | Formalizes rose trees in Coq with implementations of induction principles and manipulation tools | 1 |
 cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 354 |