Skip to content
View lclem's full-sized avatar

Highlights

  • Pro

Block or report lclem

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. agda-kernel agda-kernel Public

    An experimental Agda kernel for Jupyter

    Jupyter Notebook 25 3

  2. jupyter_contrib_nbextensions jupyter_contrib_nbextensions Public

    Forked from ipython-contrib/jupyter_contrib_nbextensions

    A collection of various notebook extensions for Jupyter

    HTML 3

  3. prolog-kernel prolog-kernel Public

    A simple Jupyter kernel for SWI-Prolog

    Python 3

  4. markdown-agda-mode markdown-agda-mode Public

    An Emacs mode for literate Markdown Agda programming

    Emacs Lisp 3 1

  5. lclem.github.io lclem.github.io Public

    HTML 2

  6. logic_course logic_course Public

    Haskell 2