lthms/spatial-shell lthms/spatial-shell

  • Stars
    star
    80
  • Rank 396,286 (Top 8 %)
  • Language
    OCaml
  • License
    Mozilla Public Li...
  • Created almost 2 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lthms/spatial-shell
github

lthms

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Implementing a spatial model inspired by Material Shell, for i3 and sway.

More Repositories

1

FreeSpec

A framework for implementing and certifying impure computations in Coq
Coq
51
star
2

colorless-themes.el

Mirror of https://git.sr.ht/~lthms/colorless-themes.el
Emacs Lisp
34
star
3

chain

Extensible, Type Safe Error Handling in Haskell
Haskell
13
star
4

coq-MiniHTTPServer

A minimal, certified, executable HTTP server written in Coq
Coq
9
star
5

ogam

A markup language for story writers
Rust
4
star
6

manuscript

My PhD thesis
TeX
3
star
7

extensible-records-minimal

Minimal example of using dmap to implement extensible records in OCaml
OCaml
2
star
8

speccert

Specifying and Verifying Hardware-based Security Enforcement
Coq
1
star
9

lkn-series

Tutorials about lkn
Makefile
1
star
10

auth-token

Token-based Authentication
Haskell
1
star
11

bepo-tsrn.nvim

Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
Lua
1
star
12

keyr

A collection of tools to keep track of your keystrokes
Rust
1
star
13

cleopatra

cleopatra is a generic, extensible toolchain for literate programming projects
1
star