Mechanized formalization of Implicit resolution in Agda
-
Updated
Jun 28, 2017 - Agda
Mechanized formalization of Implicit resolution in Agda
An average man that want to be strong. [ Inspiration From OPM by ( ONE ) ]
Aplikasi Kumpulan Uji Kompetensi Pemrograman Android Basic PTS Semester Genap (2)
Package for reading .pts files implemented in Golang.
Package for reading .pts files implemented in Python.
⛓ This tool writes into the input buffer of a specific pseudo terminal slave (PTS).
Circular Time Table Visualizer
2022: Clone tty device to few pseudo ttys without worrying about blocking cloned device
Утиль для создания панорам в игре GTA::SA
RFCs for changes to the Planetary Technology Standard (PTS)
Organization website with all projects and documentations.
Simple GUI App to convert between pts and ply point cloud files (the reason being that ply files are easily imported inside Houdini)
Add a description, image, and links to the pts topic page so that developers can more easily learn about it.
To associate your repository with the pts topic, visit your repo's landing page and select "manage topics."