/explore
|
You are here |
github.com | ||
| | | | |
gpac.wp.imt.fr
GPAC Ultramedia OSS for Video Streaming & Next-Gen Multimedia Transcoding, Packaging & Delivery - EBU TTD support in GPAC · gpac/gpac Wiki |
|
| | | | | ||
| | | | |
gist.github.com
Run «command» only every «number» time invoked. GitHub Gist: instantly share code, notes, and snippets. |
|
| | | | | ||
| | | | |
mths.be
A regular expression to match all Emoji-only symbols as per the Unicode Standard. - mathiasbynens/emoji-regex |
|
| | | | | ||
| | | | |
github.com
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. |
|
| | | |||