Skip to content
View Lakedaemon's full-sized avatar
9 followers · 1 following
  • Paris, France

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report Lakedaemon

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

  • mm0kt Public

    mm0 parser, mmu parser, proofchecker, patcher for set.mm.mmà

    Kotlin Creative Commons Zero v1.0 Universal Updated May 1, 2021

  • mm0 Public

    Forked from digama0/mm0

    Metamath Zero specification language

    Rust Creative Commons Zero v1.0 Universal Updated Apr 25, 2021

  • mm0-kotlin-tooling Public

    pure Kotlin library for working with mm0 (multi platform)

    Kotlin Creative Commons Zero v1.0 Universal Updated Feb 22, 2020

  • Limbo Public

    Limbo

    TeX 1 Updated Aug 19, 2018

  • janusgraph Public

    Forked from JanusGraph/janusgraph

    JanusGraph: an open-source, distributed graph database

    Java Other Updated Mar 28, 2018

  • dkpro-jwktl Public

    Forked from dkpro/dkpro-jwktl

    Java Wiktionary Library

    Java Apache License 2.0 Updated Oct 5, 2017

  • flatbuffers Public

    Forked from google/flatbuffers

    Memory Efficient Serialization Library

    C++ Apache License 2.0 Updated Jul 15, 2016

  • sqlbrite Public

    Forked from square/sqlbrite

    A lightweight wrapper around SQLiteOpenHelper which introduces reactive stream semantics to SQL operations.

    Java Apache License 2.0 Updated Sep 30, 2015

  • OpenIAB Public

    Forked from onepf/OpenIAB

    Open In-App Billing for Google Play, SlideMe, Amazon Store, Nokia Store, Samsung Apps, Yandex.Store, Appland, Aptoide, AppMall and Fortumo.

    Java Apache License 2.0 Updated Mar 12, 2015

  • ListViewAnimations Public

    Forked from nhaarman/ListViewAnimations

    An Android library which allows developers to easily add animations to ListView items

    Java Apache License 2.0 Updated Nov 15, 2014

  • swot Public

    Forked from JetBrains/swot

    Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

    Kotlin MIT License Updated Sep 25, 2014

  • google-translate-php Public

    Forked from Stichoza/google-translate-php

    Google Translate API free PHP class. Translates totally free of charge.

    PHP Updated Feb 27, 2014

  • HorizontalVariableListView Public

    Forked from sephiroth74/HorizontalVariableListView

    Horizontal list view for Android which allows variable items widths

    Java Updated Feb 3, 2014

  • ANR-WatchDog Public

    Forked from SalomonBrys/ANR-WatchDog

    A simple watchdog that detects Android ANR (Application Not Responding) error and throws a meaningful exception

    Java MIT License Updated Dec 20, 2013

  • libwidget Public

    libwidget

    Java Updated Jul 19, 2012

  • luaotfload Public

    Forked from khaledhosny/luaotfload

    OpenType font loader for LuaTeX

    Lua Updated May 28, 2012

  • android-ColorPickerPreference Public

    Forked from attenzione/android-ColorPickerPreference

    ColorPickerPreference for android to create color picker in preferences. Project created as Library

    Java Other Updated May 14, 2012

  • Mathematicon Public

    Maths Material

    Updated Sep 20, 2011

  • LD-Library Public

    Library of usefull Tex Macros

    Lua Updated Sep 9, 2011

  • JxPlugin Public

    Japanese Extended Plugin for the Spaced Repetition System ANKI

    JavaScript 3 1 Updated Sep 3, 2011

  • SuspendByTags Public

    Suspend by Tags plugin for Anki

    Python Updated Dec 12, 2009

  • AnkiTeX Public

    (La)TeX suppport for Anki

    Python Updated Dec 7, 2009

  • Anki.nds Public

    Anki thin client for the Nintendo DS

    C 10 3 Updated Nov 16, 2009