v217's repositories
daudin
A Python command-line shell
Language:PythonMIT000
dpt-rp1-py
Python script to manage a Sony DPT-RP1 without the Digital Paper App
Language:PythonMIT000
hopes
Higher Order Prolog with Extensional Semantics
Language:HaskellGPL-2.0000
noteshrink
Convert scans of handwritten notes to beautiful, compact PDFs
Language:PythonMIT000
P
The P programming language
Language:C#MIT000
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Language:C++BSD-2-Clause000
rc-shell-linter-for-Sublimetext3
Sublimelinter3 plugin for rc shell https://github.com/rakitzis/rc
Language:Python000
rfcs
:horse: RFCs for changes to Pony
000
Language:C++MIT000
unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names
will2svg
Python program that reads Wacom WILL file and converts it to SVG.
Language:Python000
Language:Python000