Skip to content
View kmt-lnh's full-sized avatar
5 followers · 31 following
  • Hungary

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report kmt-lnh

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

  • nix Public

    Forked from NixOS/nix

    Nix, the purely functional package manager

    C++ GNU Lesser General Public License v2.1 Updated Nov 19, 2021

  • yasnippet-snippets Public

    Forked from AndreaCrotti/yasnippet-snippets

    a collection of yasnippet snippets for many languages

    YASnippet 1 GNU General Public License v3.0 Updated Sep 1, 2020

  • emacs-wsl Public

    Forked from hubisan/emacs-wsl

    Install and run emacs with the Windows Subsystem for Linux (WSL) in Windows 10.

    Shell Updated May 27, 2020

  • org-roam Public

    Forked from org-roam/org-roam

    Rudimentary Roam replica with Org-mode

    Emacs Lisp GNU General Public License v3.0 Updated Apr 27, 2020

  • til Public

    Forked from jbranchaud/til

    📝 Today I Learned

    Vim Script MIT License Updated Apr 20, 2020

  • haskell2019spring Public

    Forked from mekispeter/haskell2019spring

    Functional Programming for Logicians, 2019 Spring, ELTE

    Haskell Updated Apr 17, 2019

  • sq-mm-parsing Public

    Simple statistics based on generated java code from SAP PO Simple Query exports

    Java Updated Sep 5, 2017

  • .emacs.d Public

    my current emacs config

    Emacs Lisp Updated Sep 3, 2017

  • pwl-bp-composing-contracts Public

    Code, presentation and background materials for my talk.

    Haskell Updated Aug 27, 2017

  • polite-scraper Public

    A collection of scrapy spiders and an sqlite backend.

    Python Updated Aug 24, 2017

  • github-io-blog Public

    Repo for the github.io blog

    Updated Aug 2, 2017

  • git-matrix Public

    Repo to hold my toy code computing dates to print dot matrix style messages in the github activity chart.

    Python 1 Updated Jun 30, 2017