v217

daudin

A Python command-line shell

dpt-rp1-py

Python script to manage a Sony DPT-RP1 without the Digital Paper App

hopes

Higher Order Prolog with Extensional Semantics

noteshrink

Convert scans of handwritten notes to beautiful, compact PDFs

P

The P programming language

pdf_tagging_modifizieren_wrapper_Skripte_py

ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

rc-shell-linter-for-Sublimetext3

Sublimelinter3 plugin for rc shell https://github.com/rakitzis/rc

rfcs

:horse: RFCs for changes to Pony

Search-As-You-Type-Index-master

v217/daudin

A Python command-line shell

v217/dpt-rp1-py

Python script to manage a Sony DPT-RP1 without the Digital Paper App

v217/hopes

Higher Order Prolog with Extensional Semantics

v217/noteshrink

Convert scans of handwritten notes to beautiful, compact PDFs

v217/P

The P programming language

v217/pdf_tagging_modifizieren_wrapper_Skripte_py

v217/ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

v217/rc-shell-linter-for-Sublimetext3

Sublimelinter3 plugin for rc shell https://github.com/rakitzis/rc

v217/rfcs

:horse: RFCs for changes to Pony

v217/Search-As-You-Type-Index-master

v217/unicode-latex

A visual studio code extension to insert Unicode symbols given LaTeX symbol names

v217/will2svg

Python program that reads Wacom WILL file and converts it to SVG.

v217/will2svg-1