lclem Goto Github PK

lia

logic_course

logic_course_2020-2021

magicmirror

MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal assistant.

markdown-agda-mode

An Emacs mode for literate Markdown Agda programming

marlin

Marlin is an optimized firmware for RepRap 3D printers based on the Arduino platform. | Many commercial 3D printers come with Marlin installed. Check with your vendor if you need source code for your specific machine.

midistroke

MIDI to Keystroke Macro convertor for OS X

mmm-mqtt

MQTT Client module for MagicMirror2

nbformat

Reference implementation of the Jupyter Notebook format

notebook

Jupyter Interactive Notebook

notebooks

jupyter notebooks for use with mybinder

org-agda-mode

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

overleaf

A web-based collaborative LaTeX editor

pi-github-runner

Docker config to easily enable arm and arm64 GitHub Actions via the self-hosted runner mechanism

plfa.github.io

Introduction to programming language theory in Agda

pp

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

prolog-kernel

A simple Jupyter kernel for SWI-Prolog

pubmex

a script to get a fancy paper title based on given DOI or PMID

repo-template

A template for creating new repositories in the @orbitdb organization

soundbridge-utils

Utilities for interacting with the Roku Soundbridge (and maybe other servers which talk RCP).

swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE

thebe

ThebeLab: turning static HTML pages into live documents

tslib

Touchscreen access library

unleashed-firmware

Flipper Zero Unleashed Firmware

weblatex

wifite2

Rewrite of the popular wireless network auditor, "wifite" - original source by @derv82 right over