api llvm knowledge-graphs mathematica webrtc

api/api.md

@@ -6,6 +6,7 @@
 - [GitHub](https://developer.github.com/v3/)
 - [GitHub Go](https://github.com/shurcooL/githubv4) - Client library for accessing GitHub GraphQL API.
 - [GitHub JS](https://github.com/octokit/core.js) - Extendable client for GitHub's REST & GraphQL APIs.
+- [GitHub Rust](https://github.com/softprops/hubcaps)
 - [tweetlord](https://github.com/snovvcrash/tweetlord) - Twitter profile dumper (downloader) with authorization swapping.
 - [Hacker News](https://github.com/HackerNews/API)
 - [Dropbox](https://github.com/dropbox/dbxcli) - Command line client for Dropbox built using the Go SDK.
@@ -29,6 +30,7 @@
 - [Binding and CLI generator for all google APIs](https://github.com/google-apis-rs/generator)
 - [CartQL](https://cartql.com/) - GraphQL Shopping Cart API.
 - [Stream](https://getstream.io/) - Enterprise Grade Feed & Chat APIs.
+- [Telegraph API](https://telegra.ph/api) - Minimalist publishing tool that allows you to create richly formatted posts and push them to the Web in just a click.
 
 ## Links
 

compilers/llvm.md

@@ -2,7 +2,8 @@
 
 ## Links
 
-- ["Vellvm - Verifying the LLVM" by Steve Zdancewic (2018)](https://www.youtube.com/watch?v=q6gSC3OxB_8) - Great intro to LLVM.
+- [Vellvm](https://www.cis.upenn.edu/~stevez/vellvm/) - Verifying the LLVM.
+- [Vellvm: Verifying the LLVM - Steve Zdancewic (2018)](https://www.youtube.com/watch?v=q6gSC3OxB_8) - Great intro to LLVM.
 - [Code Generation with llvm-hs by Stephen Diehl (2018)](https://www.youtube.com/watch?v=wn-xW3g8jXY)
 - [Souper](https://github.com/google/souper) - Superoptimizer for LLVM IR.
 - [Mull](https://github.com/mull-project/mull) - Mutation testing system built on top of LLVM.
@@ -26,4 +27,4 @@
 - [Generating Verified LLVM from Isabelle/HOL](https://drops.dagstuhl.de/opus/volltexte/2019/11077/pdf/LIPIcs-ITP-2019-22.pdf)
 - [Snel: SQL Native Execution for LLVM (2020)](https://arxiv.org/abs/2002.09449) ([HN](https://news.ycombinator.com/item?id=22404004))
 - [Clang](http://clang.llvm.org/) - C language family frontend for LLVM. ([Docs](http://clang.llvm.org/docs/index.html))
-- [Alive2](https://github.com/AliveToolkit/alive2) - Automatic verification of LLVM optimizations.
+- [Alive2](https://github.com/AliveToolkit/alive2) - Automatic verification of LLVM optimizations.

knowledge/knowledge-graphs.md

@@ -18,3 +18,5 @@
 - [Combining knowledge graphs, quickly and accurately (2020)](https://www.amazon.science/blog/combining-knowledge-graphs-quickly-and-accurately)
 - [Akutan](https://github.com/eBay/akutan) - Distributed knowledge graph store, sometimes called an RDF store or a triple store.
 - [Global domain mind map tool build on top of IPFS and IPLD](https://github.com/interplanetarymindmap/mind-map)
+- [ConvE](https://github.com/TimDettmers/ConvE) - Convolutional 2D Knowledge Graph Embeddings resources.
+- [Datasets for Knowledge Graph Completion with Textual Information about Entities](https://github.com/villmow/datasets_knowledge_embedding)

programming/interactive-computing/mathematica.md

@@ -3,3 +3,4 @@
 ## Links
 
 - [Source of some math GIF visualizations](https://github.com/InertialObservr/twitter_gifs)
+- [Mathics](https://github.com/mathics/Mathics) - General-purpose computer algebra system. ([Web](https://mathics.github.io/)) ([HN](https://news.ycombinator.com/item?id=19851934))

web/webrtc.md

@@ -3,6 +3,7 @@
 ## Links
 
 - [PeerJS](https://github.com/peers/peerjs) - Simple peer-to-peer with WebRTC.
+- [Server for PeerJS](https://github.com/peers/peerjs-server)
 - [Pion WebRTC](https://github.com/pions/webrtc) - Pure Go implementation of the WebRTC API.
 - [GFile](https://github.com/Antonito/gfile) - Direct file transfer over WebRTC.
 - [Smoke](https://github.com/sinclairzx81/smoke) - Turns a Web Browser into a Web Server with WebRTC.