xmonad
xmonad in Coq
AI summary
xmonad emulator
An implementation of the xmonad StackSet module in Coq
- stars
- 43
- forks
- 8
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
xmonad/x11106
X11 wrapper
A Haskell binding to the X11 graphics library
Window manager framework
Provides additional functionality and customization options for an X11 window manager written in Haskell.
xmonad setup
A pre-configured xmonad environment
X11 config
A comprehensive configuration file for a custom X11 window manager setup.
Terminal emulator library
A .NET library that emulates the Xterm terminal emulator on multiple platforms
Sudoku solver
A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure
CPU simulator
An emulator and toolset for the 6502 CPU
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
Compiler
Translates Coq terms into Cedille terms for a specific domain-specific language
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Web server
A Coq-based web server written in a functional programming language
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Rose tree library
A Coq library formalizing rose trees for mathematical proof and theorem proving
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
