mattecapu

gpt-3

GPT-3: Language Models are Few-Shot Learners

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

treestyletab

Tree Style Tab, Show tabs like a tree.

remarkable-hacks

additional functionality via binary patching

plfa.github.io

An introduction to programming language theory in Agda

zulip-mobile

Zulip mobile apps for Android and iOS.

draw2d

Create Visio like drawings, diagrams or workflows with JavaScript and HTML5

libremarkable

The only public framework for developing applications with native refresh support for Remarkable Tablet

agda-stdlib

The Agda standard library

remarkable_mouse

use your reMarkable as a graphics tablet

awesome-applied-ct

ACT community resources

agda-categories

A new Categories library for Agda

ReMarkableAPI

Docs and implementation of the reMarkable file sync API

paper2remarkable

Fetch an academic paper or web article and send it to the reMarkable tablet with a single command

lawvere

The collected works of F. W. Lawvere

remarkable_printer

Native printing to reMarkable.

idris-ct

formally verified category theory library

srvfb

Stream a framebuffer device over HTTP

agda-mode-vscode

agda-mode on VS Code

open-game-engine

Haskell implementation of open games

reMarkable-typescript

A typescript reMarkable Cloud API

BeamerPresenter

Modular multi-screen pdf presentation viewer

remarkable_pdflets

mini apps for reMarkable inside xochitl

rmuploader

Web app to upload files to the Remarkable Tablet

internal-methods

Notes on how to use the internal language of toposes in algebraic geometry

DynamicalSystemsBook

sshlatex

A collection of hacks to efficiently run LaTeX via ssh

commutative-diagrams

CoDi: Commutative Diagrams for TeX

remarkable-node

Unofficial reMarkable api wrapper for node.js

konkur

Nice pdf form for Italian RTD# research positions