Skip to content
View lclem's full-sized avatar
7 followers · 7 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

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.

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
lclem/README.md

Popular repositories Loading

  1. agda-kernel agda-kernel Public

    An experimental Agda kernel for Jupyter

    Jupyter Notebook 24 2

  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. markdown-agda-mode markdown-agda-mode Public

    An Emacs mode for literate Markdown Agda programming

    Emacs Lisp 3 1

  4. lclem.github.io lclem.github.io Public

    HTML 2

  5. prolog-kernel prolog-kernel Public

    A simple Jupyter kernel for SWI-Prolog

    Python 2

  6. logic_course logic_course Public

    Haskell 2