Skip to content
Please, do not contact me to advertise your products
Block or report user

Report or block lthms

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@detiq-t @eiimage @GreenPix @oil-lang @ogma-project @lkn-org


  1. Compositional reasoning framework for the Coq proof assistant

    Coq 25 5

  2. A mostly colorless theme for emacs

    Emacs Lisp 21 2

  3. Game server core framework written in Elixir

    Elixir 5

  4. 2D game server and client

    Elixir 1 1

  5. Extensible, Type Safe Error Handling in Haskell

    Haskell 12

540 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Activity overview
Contributed to ANSSI-FR/FreeSpec, lkn-org/lykan, ANSSI-FR/coq-prelude and 5 other repositories

Contribution activity

March 2019

Created a pull request in ANSSI-FR/FreeSpec that received 5 comments

Provide generic helper functions to turn Coq terms into ocaml values and vice versa

Support ascii (char) [prior to this PR] Support string (string) [prior to this PR] Partial support Z (int) Support bool (bool)

+362 −27 5 comments

Created an issue in ANSSI-FR/FreeSpec that received 1 comment

Submit a PR to yallop/effects-bibliography

yallop/effects-bibliography is a pretty interesting repository with many resources. The FM2018 paper has already been submitted by a tier, and that…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.