Skip to content
View limemloh's full-sized avatar
56 followers · 6 following
  • Thisted, Denmark

Organizations

@funkia

Block or report limemloh

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

  • image2cpp Public

    Forked from javl/image2cpp
    HTML GNU General Public License v3.0 Updated Jun 11, 2021

  • grpc-web-generator Public

    Forked from juanjoDiaz/grpc-web-generator

    Docker container to generate grpc-web files from a proto file

    Dockerfile MIT License Updated Jan 22, 2021

  • cubical-congruence Public

    Congruence Closure Procedure in Cubical Agda

    Agda 16 Updated Aug 19, 2020

  • cubical Public

    Forked from agda/cubical

    An experimental library for Cubical Agda

    Agda MIT License Updated Jun 23, 2020

  • CubicalAgda-BatchedQueue Public

    Cubical Agda case study: Okasaki's BatchedQueue

    Agda 3 Updated Feb 4, 2020

  • Au_ml19 Public

    Forked from gronlund/Au_ml19

    Exercises for machine learning course at Aarhus University 2019

    Jupyter Notebook Updated Nov 15, 2019

  • cerberus-rest Public

    WIP

    TypeScript 1 Updated Mar 22, 2019

  • turbinize Public

    Convert your HTML to Turbine Dom Code

    TypeScript Updated Mar 20, 2019

  • monkey-jump Public archive

    Use the keyboard to navigate everywhere in Atom.

    TypeScript 4 MIT License Updated Sep 30, 2018

  • turbine-notes Public

    Take and organize notes - Turbine Example

    TypeScript 3 MIT License Updated Jun 25, 2018

  • turbine-angular Public

    A wrapper around Turbine components to use in AngularJS

    TypeScript Updated Oct 11, 2017

  • qmk_firmware Public

    Forked from qmk/qmk_firmware

    keyboard controller firmware for Atmel AVR USB family

    C Updated Aug 14, 2017

  • platformerjs Public

    JavaScript MIT License Updated Jul 1, 2017

  • hareactive-websockets Public

    Send and receive hareactive streams and behaviors through a websocket

    TypeScript Updated Jun 16, 2017

  • BigScreenParty Public

    An Open Source party game using smartphones as controllers and a big screen as display.

    TypeScript 8 Updated May 31, 2017

  • vscode-search-provider Public

    Forked from Jomik/vscode-search-provider

    GNOME Search Provider for recent VS Code projects.

    JavaScript MIT License Updated Apr 25, 2017

  • ergodox-firmware Public

    Forked from benblazak/ergodox-firmware

    firmware for the ergoDOX keyboard edited to work with dactyl

    C Other Updated Mar 24, 2017

  • au-dat-org-drills Public

    Org-drills sigtet til Datalogi uddannelsen på Aarhus Universitet

    2 1 MIT License Updated Sep 28, 2016

  • npm2.el Public

    Emacs package with tools for working with Node Package Manager

    Emacs Lisp 1 GNU General Public License v3.0 Updated Apr 6, 2016

  • maxima-calculus2 Public

    Forked from paldepind/maxima-calculus2

    Maxima funktioner til løsning af eksamensopgaver i kurset Calculus 2 på Aarhus Universitet

    MIT License Updated Jan 12, 2016