Skip to content
View lthms's full-sized avatar

Organizations

@detiq-t @eiimage @ogma-project @lkn-org @coq-community

Block or report lthms

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. spatial-shell spatial-shell Public

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

    OCaml 91 1

  2. keyr keyr Public

    A collection of tools to keep track of your keystrokes

    Rust 1

  3. coq-community/coqffi coq-community/coqffi Public

    Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]

    OCaml 34 8

  4. ogam ogam Public

    A markup language for story writers

    Rust 4 1

  5. bepo-tsrn.nvim bepo-tsrn.nvim Public

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

    Lua 1

  6. nspawn nspawn Public

    Opinionated helper to help me create systemd-nspawn containers

    Shell