Skip to content
@the-lambda-church

The Lambda Church

Popular repositories Loading

  1. coquille coquille Public

    Interactive theorem proving with Coq in vim.

    Vim Script 186 68

  2. dmlenu dmlenu Public

    a clone of dmenu written in OCaml.

    OCaml 46 5

  3. coquineries coquineries Public

Repositories

Showing 3 of 3 repositories
  • dmlenu Public

    a clone of dmenu written in OCaml.

    the-lambda-church/dmlenu’s past year of commit activity
    OCaml 46 MIT 5 4 1 Updated May 22, 2021
  • coquille Public

    Interactive theorem proving with Coq in vim.

    the-lambda-church/coquille’s past year of commit activity
    Vim Script 186 ISC 68 21 12 Updated Sep 19, 2020
  • coquineries Public
    the-lambda-church/coquineries’s past year of commit activity
    0 0 0 0 Updated Aug 5, 2016

Top languages

Loading…

Most used topics

Loading…